(library
  (name elpi_util)
  (public_name elpi.util)
  (libraries re.str)
  (modules util))
