nixpkgs-suyu/pkgs/applications/science/logic/tptp
2014-05-03 00:53:46 +04:00
..
default.nix Update TPTP and make URL set robust to moving old versions to archive 2014-05-03 00:53:46 +04:00