pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / development / interpreters / acl2 /
at 23.05-pre 1 folder 2 files
Keshav Kini acl2: 8.3 -> 8.4
3b325137
libipasirglucose4
0001-Fix-some-paths-for-Nix-build.patch
default.nix