Files
Geneweb/lib/sosa_num/dune
2024-03-05 22:01:20 +01:00

6 lines
115 B
Plaintext

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