chn/nixpkgs
1
0
Fork 0
mirror of https://github.com/CHN-beta/nixpkgs.git synced 2026-01-11 18:32:23 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
nixos-25.05
nixpkgs/pkgs/top-level/rocq-packages.nix
Pierre Roux f9f94aa53e rocqPackages.hierarchy-builder: init at 1.9.1 
(cherry picked from commit 84667ad299)
2025-06-03 13:06:37 +02:00

2.6 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink