Commit dbf9e439 authored by charguer's avatar charguer

Merge branch 'master' of gitlab.inria.fr:charguer/cfml

parents 78b1cfdc c3ce8b19
opam-version: "1.2"
maintainer: "armael.gueneau@inria.fr"
authors: [
"Arthur Charguéraud <arthur.chargueraud@inria.fr>"
]
homepage: "https://gitlab.inria.fr/charguer/cfml"
dev-repo: "https://gitlab.inria.fr/charguer/cfml.git"
bug-reports: "https://gitlab.inria.fr/charguer/cfml/issues"
license: "CeCILL-B"
build: [
[make "-j%{jobs}%"]
]
install: [
[make "install"]
]
remove: [
[make "uninstall"]
]
depends: [
"ocamlbuild" {build}
"pprint"
"coq" {>= "8.5" & < "8.6~"}
]
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment