Merge remote-tracking branch 'upstream/staging' into deps-reorg

This commit is contained in:
John Ericson
2017-09-28 12:32:57 -04:00
789 changed files with 15725 additions and 8096 deletions

View File

@@ -71,6 +71,10 @@ in
charlock_holmes = attrs: {
buildInputs = [ which icu zlib ];
};
curb = attrs: {
buildInputs = [ curl ];
};
dep-selector-libgecode = attrs: {
USE_SYSTEM_GECODE = true;