nixpkgs/pkgs/applications/science/logic/hol_light
2019-10-09 06:13:48 +00:00
..
default.nix hol_light: 2019-03-27 -> 2019-10-06 2019-10-09 06:13:48 +00:00