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

(include_subdirs qualified)
