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

• 0001-Do-not-download-sources-in-cmake.patch
• 0002-Do-not-download-sources-in-cmake.patch
• package.nix