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


../
libcoq-quickchick_1.6.4-3+b1_amd64.deb             14-Feb-2023 06:11             1584008
libcoq-quickchick_2.0-2+b2_amd64.deb               22-Sep-2023 13:54             1821300
libcoq-quickchick_2.0.2-1+b1_amd64.deb             16-Feb-2024 15:04             1708436
libcoq-quickchick_2.0.2-1_amd64.deb                20-Jan-2024 20:28             1708684
libcoq-quickchick_2.0.3-2+b2_amd64.deb             15-Jun-2024 13:06             3257516
libcoq-quickchick_2.0.3-3+b4_amd64.deb             31-Aug-2024 05:16             4273124
libcoq-quickchick_2.0.3-3+b5_amd64.deb             17-Sep-2024 11:38             4273816
libcoq-quickchick_2.0.3-3+b6_amd64.deb             13-Oct-2024 11:49             4272068
libcoq-quickchick_2.0.4-1_amd64.deb                21-Nov-2024 00:03             4252376
libcoq-quickchick_2.0.5-1+b1_amd64.deb             19-Dec-2024 19:49             4253480
quickchick_1.6.4-3+b1_amd64.deb                    14-Feb-2023 06:11               55660
quickchick_2.0-2+b2_amd64.deb                      22-Sep-2023 13:54               58648
quickchick_2.0.2-1+b1_amd64.deb                    16-Feb-2024 15:04               58776
quickchick_2.0.2-1_amd64.deb                       20-Jan-2024 20:28               58396
quickchick_2.0.3-2+b2_amd64.deb                    15-Jun-2024 13:06              411352
quickchick_2.0.3-3+b4_amd64.deb                    31-Aug-2024 05:16              482652
quickchick_2.0.3-3+b5_amd64.deb                    17-Sep-2024 11:38              480880
quickchick_2.0.3-3+b6_amd64.deb                    13-Oct-2024 11:49              482968
quickchick_2.0.4-1_amd64.deb                       21-Nov-2024 00:03              480052
quickchick_2.0.5-1+b1_amd64.deb                    19-Dec-2024 19:49              481152