dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
362,901 Commits 3 Branches 0 Tags 4.3 GiB
5af555af48
Commit Graph

3 Commits

Author SHA1 Message Date
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