lutils

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

Libraries

This package provides the following libraries (via dune):

lutils

Documentation:

Dependencies: unix, str, num, camlp-streams