lutils

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

lutils

Documentation:

Dependencies: unix, str, num