(** Automatically generated from Makefile *) let tool = "lus2lic" let branch = "master" let commit = "542" let sha_1 = "1042961407535d5fa282ca148411cc3915e7dd8a" let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")") let maintainer = "jahier@imag.fr"