chn/nixpkgs
1
0
Fork 0
mirror of https://github.com/CHN-beta/nixpkgs.git synced 2026-01-12 02:40:31 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
f1fa66d232f9f97ec8d2415f06769a0ed97e9986
nixpkgs/pkgs/development/rocq-modules
History
Pierre Roux f9f94aa53e rocqPackages.hierarchy-builder: init at 1.9.1 
(cherry picked from commit 84667ad299)
2025-06-03 13:06:37 +02:00
..
bignums
…
hierarchy-builder
rocqPackages.hierarchy-builder: init at 1.9.1
2025-06-03 13:06:37 +02:00
rocq-elpi
rocqPackages.rocq-elpi: 2.5.1 -> 2.5.2
2025-05-16 18:34:47 +02:00
stdlib
treewide: Format all Nix files
2025-04-01 20:10:43 +02:00