(lang dune 3.14)
(name coq-mathcomp-multinomials)
(sections
 (lib /usr/lib/ocaml/coq-mathcomp-multinomials)
 (lib_root /usr/lib/ocaml)
 (doc /usr/doc/coq-mathcomp-multinomials))
(files
 (lib (META dune-package opam))
 (lib_root
  (coq/user-contrib/mathcomp/multinomials/freeg.v
   coq/user-contrib/mathcomp/multinomials/freeg.vo
   coq/user-contrib/mathcomp/multinomials/monalg.v
   coq/user-contrib/mathcomp/multinomials/monalg.vo
   coq/user-contrib/mathcomp/multinomials/mpoly.v
   coq/user-contrib/mathcomp/multinomials/mpoly.vo
   coq/user-contrib/mathcomp/multinomials/ssrcomplements.v
   coq/user-contrib/mathcomp/multinomials/ssrcomplements.vo
   coq/user-contrib/mathcomp/multinomials/xfinmap.v
   coq/user-contrib/mathcomp/multinomials/xfinmap.vo))
 (doc (LICENSE README.md)))
