(lang dune 3.20)
(name coq-mathcomp-real-closed)
(version dev)
(sections
 (lib /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-mathcomp-real-closed)
 (doc /usr/doc/coq-mathcomp-real-closed))
(files (lib (META dune-package opam)) (doc (README.md)))
