nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-14 00:43:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
e8c7f1953d
nixpkgs/pkgs/applications/science/logic/yices
History
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