nixpkgs/pkgs/applications/science/logic/yices
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