/pkgs/development/interpreters/acl2/

• ../
• 0001-path-changes-for-nix.patch
• default.nix
• libipasirglucose4