coq-metalib.opam

opam-version: "2.0"
name: "coq-metalib"
version: "dev"
synopsis: "Locally Nameless Metatheory Library"
maintainer: "Stephanie Weirich <sweirich@cis.upenn.edu>"
authors: "Stephanie Weirich <sweirich@cis.upenn.edu>"
license: "MIT"
tags: "org:plclub"
homepage: "https://github.com/plclub/metalib"
bug-reports: "https://github.com/plclub/metalib/issues"
depends: [
  "coq" {>= "8.14"}
]
build: [make "-j%{jobs}%" "-C" "Metalib"]
install: [make "-C" "Metalib" "install"]
dev-repo: "git+https://github.com/plclub/metalib"