Releasing opam package for version 6.100.2

Makefile.dev

@@ -54,14 +54,14 @@ update_version:
 	make src/lv6version.ml
 	cp _oasis _oasis.save
 	cat _oasis.save | sed "s/^Version:.*/Version:     $(VERSION)/" > _oasis
-	rm committed
+	rm -f committed
 	git add _oasis
 	git add src/lv6version.ml
 	make clean && make
 
 BRANCH=$(shell git rev-parse --abbrev-ref HEAD)
 
-cia:
+cia:test
 	test -f committed &&  \
    echo "*** I won't commit!\n*** until you 'make update_version'!" \
       || (git commit -a -F log && touch committed) && echo "Hint: 'make ci' to test the CI before doing 'make 'push'"

_oasis

 OASISFormat: 0.4
 Name:        lustre-v6
-Version:     6.100.0
+Version:     6.100.2
 Synopsis:    The Lustre V6 Verimag compiler
 Description: This package contains:
  - lv6: the (current) name of the compiler (and interpreter via -exec)

src/lv6version.ml

 (** Automatically generated from Makefile.version *) 
 let tool = "lv6"
-let str="6.100.0"
-let sha="db7aa5b"
+let str="6.100.2"
+let sha="615ffc5"
 let branch = "master"
 let maintainer = "erwan.jahier@univ-grenoble-alpes.fr"