nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-31 20:54:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,971 Commits 458 Branches 81 Tags
python-updates
Commit Graph

7 Commits

Author SHA1 Message Date
Théo Zimmermann
c9dbdd6408 rocqPackages.bignums: merge with coqPackages.bignums 2026-08-18 15:39:35 +02:00
Pierre Roux
0efb0140f1 rocqPackages.stdlib: 9.1.0 -> 9.2.0 2026-07-24 15:46:43 +02:00
Pierre Roux
396f67f973 rocqPackages.stdlib: 9.1.0 -> 9.2.0 2026-02-11 07:59:16 +01:00
Pierre Roux
2fcfe280b5 rocq-core_9_1: init at 9.1+rc1 2025-07-08 10:55:59 +02:00
Pierre Roux
19e4869241 coqPackages.*: better formatting fix 2025-06-30 10:10:31 +02:00
Pierre Roux
0ddb075c4d coqPackages.*: fix formatting 2025-06-21 17:23:27 +02:00
Pierre Roux
e8d0b02af0 Add rocqPackages.bignums 2025-02-07 21:06:47 +01:00