(lang dune 3.20)
(name alt-ergo-free)
(version 2.4.3)
(sections
 (lib /usr/lib64/ocaml/alt-ergo-free)
 (bin /usr/bin)
 (share /usr/share/alt-ergo-free)
 (doc /usr/doc/alt-ergo-free)
 (man /usr/share/man))
(files
 (lib (META dune-package opam))
 (bin (alt-ergo))
 (share
  (plugins/fm-simplex-plugin.cma
   plugins/fm-simplex-plugin.cmxs
   preludes/b-set-theory-prelude-2018-09-28.ae
   preludes/b-set-theory-prelude-2020-02-28.ae
   preludes/fpa-theory-2017-01-04-16h00.ae
   preludes/fpa-theory-2019-06-14-11h00.ae
   preludes/fpa-theory-2019-10-08-19h00.ae))
 (doc (CHANGES.md LICENSE.md README.md))
 (man (man1/alt-ergo.1)))
