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/coq-quickchick/

../
coq-quickchick_1.6.4-3.debian.tar.xz               27-Jan-2023 06:18                2724
coq-quickchick_1.6.4-3.dsc                         27-Jan-2023 06:18                2261
coq-quickchick_1.6.4.orig.tar.gz                   15-Aug-2022 06:38              388461
coq-quickchick_2.1.0-1.1.debian.tar.xz             21-Sep-2025 11:55                3016
coq-quickchick_2.1.0-1.1.dsc                       21-Sep-2025 11:55                2258
coq-quickchick_2.1.0-1.debian.tar.xz               18-Mar-2025 12:33                2908
coq-quickchick_2.1.0-1.dsc                         18-Mar-2025 12:33                2288
coq-quickchick_2.1.0.orig.tar.gz                   18-Mar-2025 12:33              414544
coq-quickchick_2.1.1-1.debian.tar.xz               30-Oct-2025 07:23                3080
coq-quickchick_2.1.1-1.dsc                         30-Oct-2025 07:23                2287
coq-quickchick_2.1.1.orig.tar.gz                   30-Oct-2025 07:23              414612
libcoq-quickchick_1.6.4-3+b1_amd64.deb             14-Feb-2023 06:11             1584008
libcoq-quickchick_1.6.4-3+b1_arm64.deb             14-Feb-2023 06:11             1605120
libcoq-quickchick_1.6.4-3+b1_i386.deb              14-Feb-2023 06:16             1567080
libcoq-quickchick_2.1.0-1+b2_amd64.deb             15-Jun-2025 11:30             4253160
libcoq-quickchick_2.1.0-1+b2_arm64.deb             15-Jun-2025 11:35             4262452
libcoq-quickchick_2.1.0-1.1+b2_amd64.deb           28-Oct-2025 20:48             4253628
libcoq-quickchick_2.1.0-1.1+b2_arm64.deb           28-Oct-2025 20:48             4262428
libcoq-quickchick_2.1.1-1_amd64.deb                30-Oct-2025 07:23             4204452
libcoq-quickchick_2.1.1-1_arm64.deb                30-Oct-2025 15:10             4262996
quickchick_1.6.4-3+b1_amd64.deb                    14-Feb-2023 06:11               55660
quickchick_1.6.4-3+b1_arm64.deb                    14-Feb-2023 06:11               55652
quickchick_1.6.4-3+b1_i386.deb                     14-Feb-2023 06:16               55656
quickchick_2.1.0-1+b2_amd64.deb                    15-Jun-2025 11:30              492264
quickchick_2.1.0-1+b2_arm64.deb                    15-Jun-2025 11:35              536168
quickchick_2.1.0-1.1+b2_amd64.deb                  28-Oct-2025 20:48              490260
quickchick_2.1.0-1.1+b2_arm64.deb                  28-Oct-2025 20:48              533276
quickchick_2.1.1-1_amd64.deb                       30-Oct-2025 07:23              489816
quickchick_2.1.1-1_arm64.deb                       30-Oct-2025 15:10              532996

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.