nixpkgs/pkgs/applications/science/logic/coq
2019-09-16 11:41:43 -05:00
..
default.nix coq_8_10: 8.10+β2 → 8.10+β3 2019-09-16 11:41:43 -05:00