(** Automatically generated from Makefile.version *) 
let tool = "lv6"
let str="6.100.1"
let sha="9beabcb"
let branch = "master"
let maintainer = "erwan.jahier@univ-grenoble-alpes.fr"