dev/ci/nix/mtac2.nix


1
2
3
4
5

{ coq, unicoq }:
{
  buildInputs = [ unicoq ] ++ (with coq.ocamlPackages; [ ocaml findlib camlp5 ]);
  configure = "./configure.sh";
}