(library
  (name lutils)
  (public_name lutils)
  (libraries unix str num)
  (wrapped false)
  (synopsis "A lib shared by Verimag/synchronous tools (lustre-v6, lutin, rdbg).")
)