4 commits

Author	SHA1	Message	Date
Joachim Fasting	bf7ad2d84f	meta.description fixups ... Mostly scripted substitutions with a couple of subjective enhancements.	2015-04-30 18:17:42 +02:00
John Wiegley	28b6fb61e6	Change occurrences of gcc to the more general cc ... This is done for the sake of Yosemite, which does not have gcc, and yet this change is also compatible with Linux.	2014-12-26 11:06:21 -06:00
Eelco Dolstra	ce6b86cc68	Fix various evaluation problems ... http://hydra.nixos.org/build/13616685	2014-08-22 11:57:40 +02:00
Austin Seipp	da0c8f33ef	nixpkgs: yices 2.2.1 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-27 13:05:40 -05:00