nixpkgs-suyu/pkgs/applications/science/logic/yices
2016-10-26 12:59:34 -05:00
..
default.nix yices: fix install target by using 'true' as ldconfig 2016-10-26 12:59:34 -05:00