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

• fix-declaration-gcc9.patch
• minisat-fenv.patch
• package.nix