3 commits

Author	SHA1	Message	Date
Joachim Fasting	16769a6b4a	purePackages.glpk: fix build ... Add gmp.dev to the include path to help glpk find gmp.h. https://github.com/NixOS/nixpkgs/issues/18209	2016-09-10 17:41:19 +02:00
Vladimír Čunát	950feb70b2	treewide: fixup various mysql ocurrences after re-split	2016-08-07 20:46:37 +02:00
Alastair Pharo	47aeaf9d04	Fairly complete set of packages for Pure	2015-05-26 17:51:07 +10:00