Index of /ubuntu/pool/universe/c/coq-bignums/

../
coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz    11-Apr-2024 04:30                2240
coq-bignums_9.0.0+coq8.18-1build3.dsc              11-Apr-2024 04:30                2224
coq-bignums_9.0.0+coq8.18.orig.tar.gz              08-Mar-2024 09:51              116811
coq-bignums_9.0.0+coq8.20-1build12.debian.tar.xz   10-Apr-2026 04:59                2456
coq-bignums_9.0.0+coq8.20-1build12.dsc             10-Apr-2026 04:59                2149
coq-bignums_9.0.0+coq8.20.orig.tar.gz              10-Apr-2026 04:59              117267
libcoq-bignums_9.0.0+coq8.18-1build3_amd64.deb     11-Apr-2024 04:30             2109294
libcoq-bignums_9.0.0+coq8.20-1build12_amd64.deb    10-Apr-2026 04:59             2246376