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