pkgs/by-name/cb/cbmc · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs by-name cb cbmc

3 files

at devShellTools-shell

Wolfgang Walther · treewide: run nixfmt 1.0.0 · 1y ago

0001-Do-not-download-sources-in-cmake.patch

treewide: replace substituteAll with replaceVars

0002-Do-not-download-sources-in-cmake.patch

cbmc: 6.0.1 -> 6.4.0

treewide: run nixfmt 1.0.0