(library
 ; this library contains the modules declared in src (the ml files listed in the .mlpack file)
 (name myExtension_plugin)
 (public_name myExtension.plugin)
 ; the files in src depends on elpi
 (libraries elpi))
