/pkgs/development/interpreters/acl2/

• ../
• 0001-Fix-some-paths-for-Nix-build.patch
• default.nix
• libipasirglucose4