opam 500 Bytes
Newer Older
1
name: "coq-cfml"
Armaël Guéneau's avatar
Armaël Guéneau committed
2 3 4 5 6 7 8 9
opam-version: "1.2"
maintainer: "armael.gueneau@inria.fr"
authors: [
  "Arthur Charguéraud <arthur.chargueraud@inria.fr>"
]
homepage: "https://gitlab.inria.fr/charguer/cfml"
bug-reports: "https://gitlab.inria.fr/charguer/cfml/issues"
license: "CeCILL-B"
10 11 12 13
dev-repo: "https://gitlab.inria.fr/charguer/cfml.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [make "uninstall"]
Armaël Guéneau's avatar
Armaël Guéneau committed
14 15 16
depends: [
  "ocamlbuild" {build}
  "pprint"
17
  "coq" {>= "8.6"}
18
  "coq-tlc" {>= "20161010"}
19
]