(lang dune 3.20)
(name rocq-mathcomp-finmap)
(version dev)
(sections
 (lib /usr/lib/s390x-linux-gnu/ocaml/5.4.0/rocq-mathcomp-finmap)
 (doc /usr/doc/rocq-mathcomp-finmap))
(files
 (lib (META dune-package opam))
 (doc (CHANGELOG.md CHANGELOG_UNRELEASED.md README.md)))
