Vladimír Čunát fd1619cf60 yices: use correct static gmp ... It still won't build due to trying to use /sbin/ldconfig, but gmp-related things do seem OK.		2015-10-28 11:50:05 +01:00
..
default.nix	yices: use correct static gmp	2015-10-28 11:50:05 +01:00