(coq.theory
 (name mathcomp)
 (package coq-mathcomp-real-closed)
 (synopsis "Mathematical Components Library on real closed fields"))
