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