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