(lang dune 3.16)
(name alt-ergo)
(version 2.4.3)
(sections
 (lib
  /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3-r2/image/usr/lib64/ocaml/alt-ergo)
 (bin /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3-r2/image/usr/bin)
 (share
  /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3-r2/image/usr/share/alt-ergo)
 (doc
  /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3-r2/image/usr/doc/alt-ergo)
 (man /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3-r2/image/usr/share/man))
(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/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
   odoc-pages/index.mld
   odoc-pages/index_abwhy3.mld
   odoc-pages/index_common.mld
   odoc-pages/index_fmsimplex.mld))
 (man (man1/alt-ergo.1)))
