Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456789101112131415161718192021222324
(documentation (package dolmen))
(library (name dolmen) (public_name dolmen) (libraries ; Generic dolmen sub-libs dolmen_intf dolmen_std dolmen_line ; Dolmen languages dolmen_ae dolmen_dimacs dolmen_icnf dolmen_tptp dolmen_smtlib2 dolmen_zf ; Dolmen classes dolmen_class ; extension support dune-site dune-site.plugins ) (modules Dolmen Sites))
(generate_sites_module (module Sites) (plugins (dolmen plugins)))