2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-30 08:44:31 +00:00
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