lutils

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)
Library lutils
Module LutilsVersion
val str : string
val sha : string