gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,042,370 Commits 9 Branches 0 Tags
current
Commit Graph

4 Commits

Author SHA1 Message Date
Yifei Sun e1528bbab0 coqPackages.Ordinal: modernize mkCoqDerivation release hash format 2026-06-17 22:37:00 +02:00
damhiya 719809a404 coqPackages.Ordinal: 0.5.4 -> 0.5.6 2026-04-24 08:42:53 +02:00
damhiya fbe94a2568 coqPackages.Ordinal: 0.5.3 -> 0.5.4 2025-01-07 14:11:14 +09:00
damhiya c78d3b8465 coqPackages.Ordinal: init at 0.5.3 2024-11-28 07:30:11 +01:00