Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ 2 callPackage, 3}: 4 5{ 6 verilog = callPackage ./modelgen-verilog.nix { }; 7}