tjh.dev / nixpkgs
nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
fork atom
nixpkgs / pkgs / by-name / cb / cbmc /
at python-updates 3 files
0001-Do-not-download-sources-in-cmake.patch
0002-Do-not-download-sources-in-cmake.patch
package.nix