nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-29 00:53:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
da2cbf54e8
nixpkgs/pkgs/development/coq-modules/serapi
History
Théo Zimmermann eb1b39787f coqPackages_8_15.serapi: init at 8.15.0+0.15.0 
And also clean up rc version for Coq 8.15.
2022-01-27 08:11:31 +01:00
..
8.10.0+0.7.2.patch coqPackages.serapi: patch to fix COQPATH issue 2021-10-21 11:55:12 +02:00
8.11.0+0.11.1.patch coqPackages.serapi: patch to fix COQPATH issue 2021-10-21 11:55:12 +02:00
8.12.0+0.12.1.patch coqPackages.serapi: patch to fix COQPATH issue 2021-10-21 11:55:12 +02:00
default.nix coqPackages_8_15.serapi: init at 8.15.0+0.15.0 2022-01-27 08:11:31 +01:00