{ pkgs ? import (fetchGit {
  url = https://github.com/NixOS/nixpkgs-channels;
  ref = "nixos-unstable";
}) {} }:
with pkgs;
buildEnv {
  name = "cava-tools";
  paths = [
    coq_8_10
    coqPackages_8_10.coq-ext-lib
    (haskell.packages.ghc881.ghcWithPackages (pkgs: with pkgs; [Cabal]))
    verilog
    gnumake
    stdenv
    coreutils
    bash
    binutils.bintools
  ];
}

{ pkgs ? import (fetchGit {
  url = https://github.com/NixOS/nixpkgs-channels;
  ref = "nixos-unstable";
}) {} }:
with pkgs;
buildEnv {
  name = "cava-tools";
  paths = [
    coq_8_10
    coqPackages_8_10.coq-ext-lib
    (haskell.packages.ghc881.ghcWithPackages (pkgs: with pkgs; [Cabal]))
    verilog
    gnumake
    stdenv
    coreutils
    bash
    binutils.bintools
    verilator
  ];
}

Add verilator to nix config dependencies
Add verilator to nix config dependencies
