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

10 Commits

Author SHA1 Message Date
Pierre Roux
0f6109b799 rocqPackages.hierarchy-builder: merge with coqPackages.hierarchy-builder 2026-08-18 15:39:35 +02:00
Pierre Roux
1870911b32 rocqPackages.rocq-elpi: 3.4.0 -> 3.5.0 2026-07-24 08:37:01 +02:00
Pierre Roux
45906568b2 rocqPackages.hierarchy-builder: 1.10.2 -> 1.10.3 2026-06-25 10:08:15 +02:00
Pierre Roux
4a0cd38c8e rocqPackages.hierarchy-builder: 1.10.0 -> 1.10.2 2026-01-28 16:40:20 +01:00
Ihar Hrachyshka
567e8dfd8e treewide: clean up 'meta = with' pattern 
This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>
 2025-12-10 18:09:49 +01:00
Pierre Roux
3fc72d286c ocamlPackages.elpi: 2.0.7 -> 3.0.1 2025-08-05 15:59:09 +02:00
Pierre Roux
6bb4f60316 coqPackages.*: 9.0 -> 9.1 2025-07-09 07:27:19 +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
84667ad299 rocqPackages.hierarchy-builder: init at 1.9.1 2025-06-03 12:27:28 +02:00