(library
 (name geneweb_sosa_num)
 (public_name geneweb.sosa_num)
 (libraries num)
 (implements geneweb_sosa_mli))