(lang dune 3.14)
(name coq-mathcomp-finmap)
(version dev)
(sections
 (lib /usr/lib/ocaml/coq-mathcomp-finmap)
 (lib_root /usr/lib/ocaml)
 (doc /usr/doc/coq-mathcomp-finmap))
(files
 (lib (META dune-package opam))
 (lib_root
  (coq/user-contrib/mathcomp/finmap/finmap.v
   coq/user-contrib/mathcomp/finmap/finmap.vo
   coq/user-contrib/mathcomp/finmap/multiset.v
   coq/user-contrib/mathcomp/finmap/multiset.vo))
 (doc (CHANGELOG.md CHANGELOG_UNRELEASED.md README.md)))
