path: root/dev/ci/nix/VST.nix

{}:

rec {
  make = "make IGNORECOQVERSION=true";
  clean = "${make} clean";
}