nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-06 04:03:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
426,304 Commits 200 Branches 125 Tags 5.9 GiB
355ad731e4
Commit Graph

5 Commits

Author SHA1 Message Date
Théo Zimmermann
2dc3552aa1 coqPackages.mkCoqDerivation: upgrade to Dune 3 
And remove the version number from the corresponding attributes.
 2022-10-02 14:42:28 +02:00
Vincent Laporte
bdc09cc2e1
coqPackages.gaia-hydras: enable for Coq 8.16 2022-09-08 18:06:41 +02:00
Théo Zimmermann
450eab2ca7 coqPackages_8_14.gaia-hydras: 0.5 -> 0.6 2022-02-20 14:32:30 +01:00
Cyril Cohen
c5c34f6be1 coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
Théo Zimmermann
8797af5eb7
coqPackages.gaia-hydras: init at 0.5 2021-10-18 11:42:52 +02:00