nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-03 21:40:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,085,627 Commits 261 Branches 81 Tags
python-updates
Commit Graph

2 Commits

Author SHA1 Message Date
Pierre Roux
ee6d9188ed rocqPackages.coquelicot: 3.4.4 -> 3.4.5 2026-08-28 08:20:28 +02:00
Théo Zimmermann
9ab29d8bf2 coqPackages: move remaining derivations to rocq-modules 2026-08-18 15:39:37 +02:00