coq-metacoq-subterm.opam

opam-version: "2.0"
version: "dev+8.12"
authors: ["Bohdan Liesnikov"]
license: "MIT"
build: [
  [make "-C" "subterm" "-j%{jobs}%"]
]
install: [
  [make "-C" "subterm" "install"]
]
depends: [
  "coq" {= "8.12.0"}
  "coq-metacoq-template" {= "dev"}
  "coq-metacoq-pcuic" {= "dev"}
]