Fix instructions in README and lint Colibrics opam file

README.md

@@ -8,7 +8,7 @@ COLIBRICS written in Eclipse Prolog by Bruno Marre
 Using [opam](http://opam.ocaml.org/):
 
 ```shell
-opam pin add colibri2  https://git.frama-c.com/bobot/colibri2.git
+opam pin add https://git.frama-c.com/bobot/colibri2.git
 ```
 
 ## Development ##

colibrics.opam

 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+synopsis: "A CP solver proved in Why3"
+description:
+  "The core of Colibrics is formally proved using Why3. It offers also libraries that define formally proved simple propagation domains "
+maintainer: ["François Bobot"]
+authors: ["François Bobot"]
 homepage: "https://git.frama-c.com/bobot/colibrics"
 bug-reports: "https://git.frama-c.com/bobot/colibrics/issues"
 depends: [

dune-project

@@ -6,6 +6,10 @@
 (name colibrics)
 (package
   (name colibrics)
+  (authors "François Bobot")
+  (maintainers "François Bobot")
+  (synopsis "A CP solver proved in Why3")
+  (description "The core of Colibrics is formally proved using Why3. It offers also libraries that define formally proved simple propagation domains ")
   (depends
     "ppx_deriving_yojson"
     ("dolmen" (>= "0.5~dev"))