nixpkgs/pkgs/applications/science/logic/verifast
2016-05-01 00:13:23 +03:00
..
default.nix replace ${stdenv.cc.cc}/lib occurences 2016-05-01 00:13:23 +03:00