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 /debian/pool/main/c/coquelicot/


../
coquelicot_3.2.0-8.debian.tar.xz                   26-Jan-2023 12:44                2372
coquelicot_3.2.0-8.dsc                             26-Jan-2023 12:44                2085
coquelicot_3.2.0.orig.tar.gz                       09-May-2022 18:11              277736
coquelicot_3.4.2-1.debian.tar.xz                   20-Nov-2024 10:07                2264
coquelicot_3.4.2-1.dsc                             20-Nov-2024 10:07                2088
coquelicot_3.4.2.orig.tar.bz2                      20-Nov-2024 10:07              230261
libcoq-coquelicot_3.2.0-8+b1_amd64.deb             13-Feb-2023 07:44             3256236
libcoq-coquelicot_3.2.0-8+b1_arm64.deb             13-Feb-2023 07:44             3256296
libcoq-coquelicot_3.2.0-8+b1_i386.deb              13-Feb-2023 07:44             3256196
libcoq-coquelicot_3.4.2-1+b2_amd64.deb             15-Jan-2025 06:47             3358924
libcoq-coquelicot_3.4.2-1+b2_arm64.deb             15-Jan-2025 08:14             3358088

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.