nixpkgs/pkgs/applications/science/logic/satallax
2016-03-31 16:23:08 +02:00
..
default.nix satallax: 1.4 -> 2.7 2016-03-31 16:23:08 +02:00