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

• 0001-Support-shared-library-build.patch
• default.nix