(coq.theory
 (name Bignums)
 (package coq-bignums)
 (synopsis "Bignums, the Coq library of arbitrary large numbers"))
