2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-16 09:03:42 +00:00
nixpkgs/pkgs/applications/science/logic/coq
Vincent Laporte 48406e3fca coq_8_14: 8.14.0 → 8.14.1
And build Coq ≥ 8.14 with OCaml 4.12
2021-12-01 13:46:15 +01:00
..
default.nix coq_8_14: 8.14.0 → 8.14.1 2021-12-01 13:46:15 +01:00