nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-27 02:34:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,872 Commits 448 Branches 81 Tags
python-updates
Commit Graph

8 Commits

Author SHA1 Message Date
Pierre Roux
11b5a8d235 rocqPackages.parseque: merge with coqPackages.parseque 2026-08-18 15:39:36 +02:00
Pierre Roux
0efb0140f1 rocqPackages.stdlib: 9.1.0 -> 9.2.0 2026-07-24 15:46:43 +02:00
Wolfgang Meier
c8d505b86e rocqPackages.parseque: release v0.3.1 2026-06-17 10:42:09 +02:00
Pierre Roux
396f67f973 rocqPackages.stdlib: 9.1.0 -> 9.2.0 2026-02-11 07:59:16 +01:00
Ihar Hrachyshka
c539fa85e3 treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs 
Partial #208242
 2026-01-06 20:47:21 -05:00
Vincent Laporte
66aded5389 rocqPackages.parseque: enable for Rocq 9.1 2025-09-23 11:47:20 +02:00
Pierre Roux
151a2eced2 coqPackages: fix Rocq shim for Coq >= 9 2025-07-17 15:59:09 +02:00
Wolfgang Meier
f8bad94232 rocqPackages.parseque init at 0.3.0 (#420742) 
* init rocqPackages.parseque at 0.3.0

* make coqPackages.parseque a wrapper for rocqPackages.parseque
 2025-07-01 12:10:26 +02:00