nixpkgs
What happens if I push all of nixpkgs
Star
Fork
Watch
nixpkgs pkgs development ada-modules gnatprove
4 files
0001-fix-install.patch
0002-mute-aarch64-warnings.patch
0003-Adjust-after-category-change-for-N_Formal_Package_De.patch
default.nix