Commit 78f29ebe authored by POTTIER Francois's avatar POTTIER Francois

Change package name to [coq-cfml], plus cosmetic changes.

parent 41ec41de
name: "coq-cfml"
opam-version: "1.2"
name: "cfml"
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"]
]
dev-repo: "https://gitlab.inria.fr/charguer/cfml.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [make "uninstall"]
depends: [
"ocamlbuild" {build}
"pprint"
......
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