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-2.debian.tar.xz               11-Nov-2025 19:57                3124
coq-quickchick_2.1.1-2.dsc                         11-Nov-2025 19:57                2294
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+b6_amd64.deb           13-Feb-2026 22:17             3574592
libcoq-quickchick_2.1.0-1.1+b6_arm64.deb           13-Feb-2026 19:47             3608396
libcoq-quickchick_2.1.1-2+b1_amd64.deb             15-Feb-2026 15:33             3520684
libcoq-quickchick_2.1.1-2_arm64.deb                11-Feb-2026 12:23             3551964
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+b6_amd64.deb                  13-Feb-2026 22:17              500848
quickchick_2.1.0-1.1+b6_arm64.deb                  13-Feb-2026 19:47              539172
quickchick_2.1.1-2+b1_amd64.deb                    15-Feb-2026 15:33              501076
quickchick_2.1.1-2_arm64.deb                       11-Feb-2026 12:23              538928

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.