dev/ci/nix/mtac2.nix


1
2
3
4
5
6

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