Newer
Older
(** Automatically generated from Makefile *)
let tool = "lus2lic"
let branch = "master"
let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
let maintainer = "erwan.jahier@univ-grenoble-alpes.fr"
(** Automatically generated from Makefile *)
let tool = "lus2lic"
let branch = "master"
let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
let maintainer = "erwan.jahier@univ-grenoble-alpes.fr"