(library
 (name geneweb_sosa_mli)
 (public_name geneweb.sosa.mli)
 (wrapped false)
 (virtual_modules sosa))
