dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
240aede942
nixpkgs/pkgs/development/coq-modules/coqprime
History
Vincent Laporte f78667f7bd coqPackages.coqprime: 8.17 → 8.18
2023-11-17 13:59:33 +01:00
..
default.nix coqPackages.coqprime: 8.17 → 8.18 2023-11-17 13:59:33 +01:00