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
Files
python-updates
nixpkgs/pkgs/top-level/all-packages.nix
Vincent Laporte 2a105c9272 Merge coq-modules and rocq-modules derivations (#541797)
2026-08-18 15:04:43 +00:00

323 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink