dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
33063b41ca
nixpkgs/pkgs/applications/science/logic/coq
History
Pierre Roux 4ce414bbe4 coq: 8.19+rc1 -> 8.19.0
2024-01-26 19:35:30 +01:00
..
default.nix coq: 8.19+rc1 -> 8.19.0 2024-01-26 19:35:30 +01:00