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