(lang dune 3.20)
(name alt-ergo)
(version 2.3.3)
(sections
 (lib /usr/lib64/ocaml/alt-ergo)
 (bin /usr/bin)
 (share /usr/share/alt-ergo)
 (doc /usr/doc/alt-ergo))
(files
 (lib (META dune-package opam))
 (bin (alt-ergo))
 (share
  (plugins/AB-Why3-plugin.cma
   plugins/AB-Why3-plugin.cmxs
   plugins/fm-simplex-plugin.cma
   plugins/fm-simplex-plugin.cmxs
   preludes/b-set-theory-prelude-2018-09-28.ae
   preludes/fpa-theory-2017-01-04-16h00.why))
 (doc (CHANGES odoc-pages/index.mld)))
