/pkgs/applications/science/logic/cbmc/

• ../
• 0001-Do-not-download-sources-in-cmake.patch
• default.nix