Merge pull request #152208 from 7c6f434c/monotone-pin-boost-170

monotone: ping boost_170 to fix build
This commit is contained in:
7c6f434c 2021-12-26 11:44:08 +00:00 committed by GitHub
commit ea7b03bf80
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -27123,6 +27123,7 @@ with pkgs;
monotone = callPackage ../applications/version-management/monotone {
lua = lua5;
boost = boost170;
};
monotoneViz = callPackage ../applications/version-management/monotone-viz {