{ callPackage, }: { verilog = callPackage ./modelgen-verilog.nix { }; }