build: fix the lutin opam pakage

Makefile.version

@@ -3,7 +3,7 @@
 # if it is not a git version, it has to be an opam version!
 SHA:=$(shell git log -1 --pretty=format:"%h" || echo "opam")
 BRANCH:=$(shell git branch | grep "*" | cut -d ' ' -f 2 ||  echo "opam")
-VERSION=$(shell git describe --tags || basename `pwd` | cut -d '.' -f2-4)
+VERSION=$(shell git describe --tags --abbrev=0 || basename `pwd` | cut -d '.' -f2-4)
 
 
 .PHONY: doc/version.tex

bddrand.opam

@@ -3,6 +3,9 @@ synopsis: "A simple front-end to the lutin Random toss machinary"
 description: "A simple front-end to the lutin Random toss machinary"
 maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
 license: "CeCILL"
+authors: [
+  "Erwan Jahier" "Pascal Raymond"
+]
 homepage: "http://www-verimag.imag.fr/"
 bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
 depends: [
@@ -13,4 +16,4 @@ depends: [
 ]
 build: ["dune" "build" "-p" name "-j" jobs]
 post-messages:
-  "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
+  "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
\ No newline at end of file

lutin.opam

@@ -12,7 +12,7 @@ authors: [
 license: "CeCILL-2.1"
 tags: ["clib:stdc" "clib:camlidl"]
 homepage: "http://www-verimag.imag.fr/Lutin.html"
-dev-repo: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
+dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
 bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/issues" 
 depends: [
   "ocaml" {>= "4.05"}
@@ -31,7 +31,7 @@ depends: [
   "ocamlfind"
   "rdbg" {>= "1.196.9"}
 ]
-build: ["dune" "build" "-p" name "-j" 1]
+build: ["dune" "build" "-p" name "-j" jobs]
 post-messages:
   "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
 depexts: [

polka.opam

 opam-version: "2.0"
-synopsis: "polka: convex polyhedron library by Bertrand Jeannet (now part of apron)."
+synopsis: "Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)"
 maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
 authors: [
   "Bertrand Jeannnet"