2 commits

Author	SHA1	Message	Date
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