(lang dune 3.17)
(name alt-ergo-lib-free)
(version 2.3.3)
(sections
 (lib /usr/lib64/ocaml/alt-ergo-lib-free)
 (doc /usr/doc/alt-ergo-lib-free))
(files (lib (META dune-package opam)) (doc (CHANGES)))
