Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/by-name/ac/acl2/

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