Ubuntu
coq-bignums package

There are currently no open bugs.

"coq-bignums" versions published in Ubuntu

Oracular (9.0.0+coq8.20-1): universe/misc
Noble (9.0.0+coq8.18-1build3): universe/misc