Merge #36518: xtreemfs: build with boost165

This commit is contained in:
Vladimír Čunát 2018-03-09 10:54:47 +01:00
commit d2d07a0bce
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -5585,7 +5585,9 @@ with pkgs;
xsv = callPackage ../tools/text/xsv { };
xtreemfs = callPackage ../tools/filesystems/xtreemfs {};
xtreemfs = callPackage ../tools/filesystems/xtreemfs {
boost = boost165;
};
xurls = callPackage ../tools/text/xurls {};