Commit dc0d5af2 authored by MARCHE Claude's avatar MARCHE Claude

prepare for opam package

parent 22b782f6
......@@ -2,9 +2,7 @@ opam-version: "1"
maintainer: "Francois.Bobot@cea.fr"
authors: [
"François Bobot"
"Martin Clochard"
"Jean-Christophe Filliâtre"
"Léon Gondelman"
"Claude Marché"
"Guillaume Melquiond"
"Andrei Paskevich"
......@@ -33,6 +31,7 @@ depends: [
"lablgtk" {>= "2.14.2"}
"conf-gtksourceview"
"camlzip"
"zarith"
]
depopts: [
"ocamlgraph" {>= "1.8.2"}
......
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