Directory listing for /.codesphere-internal/nix/store/4fsaxffbala42sz17sj31rn87f96770y-nixpkgs/nixpkgs/pkgs/by-name/ac/acl2/

• 0001-path-changes-for-nix.patch
• 0002-sbcl-fp-trap-fallback.patch
• libipasirglucose4/
• package.nix