nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 23:23:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
59ce911810
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