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

3 Commits

Author SHA1 Message Date
Pierre Roux
a38b849ba4 rocqPackages.iris: merge with coqPackages.iris 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
4ever2
18f99b1161 rocqPackages.iris: init at 4.5.0 2026-03-10 16:42:16 +01:00