The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

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

../
coq-bignums_8.17.0-2build2.debian.tar.xz           16-Feb-2023 18:50                1936
coq-bignums_8.17.0-2build2.dsc                     16-Feb-2023 18:50                2096
coq-bignums_8.17.0-3build1.debian.tar.xz           26-Jul-2023 05:19                2004
coq-bignums_8.17.0-3build1.dsc                     26-Jul-2023 05:19                2096
coq-bignums_8.17.0.orig.tar.gz                     27-Dec-2022 17:44              116104
coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz    08-Apr-2024 07:57                2240
coq-bignums_9.0.0+coq8.18-1build3.dsc              08-Apr-2024 07:57                2224
coq-bignums_9.0.0+coq8.18.orig.tar.gz              22-Dec-2023 17:26              116811
coq-bignums_9.0.0+coq8.19-1build1.debian.tar.xz    15-Jun-2024 14:43                2136
coq-bignums_9.0.0+coq8.19-1build1.dsc              15-Jun-2024 14:43                2145
coq-bignums_9.0.0+coq8.19.orig.tar.gz              02-May-2024 11:53              116822
coq-bignums_9.0.0+coq8.20-1.debian.tar.xz          25-Jun-2024 12:06                2080
coq-bignums_9.0.0+coq8.20-1.dsc                    25-Jun-2024 12:06                2146
coq-bignums_9.0.0+coq8.20.orig.tar.gz              25-Jun-2024 12:06              117267
libcoq-bignums_8.17.0-2build2_arm64.deb            16-Feb-2023 18:50             2124490
libcoq-bignums_8.17.0-2build2_armhf.deb            16-Feb-2023 18:50             2122970
libcoq-bignums_8.17.0-3build1_arm64.deb            26-Jul-2023 06:22             2123892
libcoq-bignums_8.17.0-3build1_armhf.deb            26-Jul-2023 06:22             2121998
libcoq-bignums_9.0.0+coq8.18-1build3_arm64.deb     08-Apr-2024 07:57             2110390
libcoq-bignums_9.0.0+coq8.18-1build3_armhf.deb     08-Apr-2024 07:57             2108752
libcoq-bignums_9.0.0+coq8.19-1build1_arm64.deb     15-Jun-2024 15:23             2263358
libcoq-bignums_9.0.0+coq8.19-1build1_armhf.deb     15-Jun-2024 15:23             2262004
libcoq-bignums_9.0.0+coq8.20-1_arm64.deb           25-Jun-2024 12:07             2263808
libcoq-bignums_9.0.0+coq8.20-1_armhf.deb           25-Jun-2024 23:26             2261490

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.