nixpkgs/pkgs/applications/science/logic/alt-ergo
2014-11-07 09:50:39 +00:00
..
default.nix zarith: propagate build input gmp 2014-11-07 09:50:39 +00:00