diff --git a/_oasis b/_oasis
index 374a6ed41cfc1e32501fcd10c9f549e7716fb89c..09b36e98a75764015c9828a819ac2823ee1f88ee 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        lustre-v6
-Version:     6.100.1
+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)
diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index 1d0951bf1eaab631a20f58602e5e3e7000a69366..1ead400d8275f1953da5937ba3392419f91fe7be 100644
Binary files a/lv6-ref-man/lv6-ref-man.pdf and b/lv6-ref-man/lv6-ref-man.pdf differ
diff --git a/src/lv6version.ml b/src/lv6version.ml
index 664bd58ee066110198aa396826d34674fdb9f679..fb10147acff8fbd3029cd583bb350cd8ee062b2c 100644
--- a/src/lv6version.ml
+++ b/src/lv6version.ml
@@ -1,6 +1,6 @@
 (** Automatically generated from Makefile.version *) 
 let tool = "lv6"
-let str="6.100.1"
-let sha="9beabcb"
+let str="6.100.2"
+let sha="44bc6b6"
 let branch = "master"
 let maintainer = "erwan.jahier@univ-grenoble-alpes.fr"