Commit 41ec41de authored by POTTIER Francois's avatar POTTIER Francois

Add [name] field to [opam] file.

parent 5e218e8f
opam-version: "1.2"
name: "cfml"
maintainer: "armael.gueneau@inria.fr"
authors: [
"Arthur Charguéraud <arthur.chargueraud@inria.fr>"
......@@ -21,4 +22,4 @@ depends: [
"pprint"
"coq" {= "8.6"}
"coq-tlc" {>= "20161010"}
]
\ 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