this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "coqdev@inria.fr"
3authors: "Coq team <coqdev@inria.fr>"
4bug-reports: "https://coq.inria.fr/bugs/"
5homepage: "https://coq.inria.fr/"
6license: "LGPL-2.1-only"
7dev-repo: "git+https://github.com/coq/opam-coq-shell.git"
8install: [make "install" "PREFIX=%{prefix}%"]
9synopsis: "Simplified OPAM shell for Coq"
10depends: ["ocaml"]
11url {
12 src: "https://github.com/coq/opam-coq-shell/archive/1.tar.gz"
13 checksum: [
14 "sha256=269ff5b2e2bc95ec3a3ee9a108f23fcf1754329ad2d29dc844ec337eabe44a6d"
15 "md5=ba539bda77cf0081657716fa49767a68"
16 ]
17}