This mirror is donated by creoline GmbH. If you wish to report a bug or request listing please feel free to contact us at mirror@creoline.de

creoline Repository Mirror for creoline Servers

Index of /debian2/pool/main/c/coq-quickchick/

../
coq-quickchick_1.6.4-2.debian.tar.xz               06-Sep-2022 09:09                2672
coq-quickchick_1.6.4-2.dsc                         06-Sep-2022 09:09                2256
coq-quickchick_1.6.4.orig.tar.gz                   15-Aug-2022 06:38              388461
libcoq-quickchick_1.6.4-2+b1_amd64.deb             29-Sep-2022 13:27             1583836
libcoq-quickchick_1.6.4-2+b1_arm64.deb             29-Sep-2022 13:27             1605760
libcoq-quickchick_1.6.4-2+b1_armhf.deb             29-Sep-2022 13:27             1579712
libcoq-quickchick_1.6.4-2+b1_i386.deb              29-Sep-2022 13:17             1567044
libcoq-quickchick_1.6.4-2+b1_ppc64el.deb           29-Sep-2022 13:27             1588308
libcoq-quickchick_1.6.4-2+b1_s390x.deb             29-Sep-2022 13:43             1586820
quickchick_1.6.4-2+b1_amd64.deb                    29-Sep-2022 13:27               55604
quickchick_1.6.4-2+b1_arm64.deb                    29-Sep-2022 13:27               55572
quickchick_1.6.4-2+b1_armhf.deb                    29-Sep-2022 13:27               55588
quickchick_1.6.4-2+b1_i386.deb                     29-Sep-2022 13:17               55584
quickchick_1.6.4-2+b1_ppc64el.deb                  29-Sep-2022 13:27               55576
quickchick_1.6.4-2+b1_s390x.deb                    29-Sep-2022 13:43               55616