nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 16:10:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,105,343 Commits 285 Branches 81 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Arthur Azevedo de Amorim
aefa358e6c rocqPackages.extructures: 0.5.0 -> 0.6.0 
This release requires Rocq 9.0 or later and MathComp 2.5 or later, so
keep 0.5.0 as the default for the older versions.

Assisted-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
 2026-10-12 16:04:33 -04:00
Théo Zimmermann
9ab29d8bf2 coqPackages: move remaining derivations to rocq-modules 2026-08-18 15:39:37 +02:00