tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
by-name
/
cb
/
cbmc
/
at
master
3 files
0001-Do-not-download-sources-in-cmake.patch
treewide: replace substituteAll with replaceVars
1 year ago
0002-Do-not-download-sources-in-cmake.patch
cbmc: 6.0.1 -> 6.4.0
1 year ago
package.nix
treewide: standardize descriptions according to style guide (#430180)
5 months ago
pyrox.dev