(library
 (name gwdb_driver_mli)
 (public_name geneweb.gwdb_driver)
 (wrapped false)
 (libraries geneweb.def re)
 (virtual_modules gwdb_driver))
