opam-version: "2.0"
maintainer: "coqdev@inria.fr"
authors: "Coq team <coqdev@inria.fr>"
bug-reports: "https://coq.inria.fr/bugs/"
homepage: "https://coq.inria.fr/"
license: "LGPL-2.1"
dev-repo: "git://github.com/coq/opam-coq-shell.git"
install: [make "install" "PREFIX=%{prefix}%"]
synopsis: "Simplified OPAM shell for Coq"
depends: ["ocaml"]
url {
  src: "https://github.com/coq/opam-coq-shell/archive/1.tar.gz"
  checksum: "md5=ba539bda77cf0081657716fa49767a68"
}
