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

../
libcoq-quickchick_1.6.4-3+b1_amd64.deb             16-Dec-2025 21:54             1584008
libcoq-quickchick_2.0.2-1+b1_amd64.deb             24-Jun-2024 01:43             1708436
libcoq-quickchick_2.0.2-1+b1_i386.deb              24-Jun-2024 01:44             1685820
libcoq-quickchick_2.0.3-2+b2_amd64.deb             16-Aug-2024 20:36             3257516
libcoq-quickchick_2.0.3-2+b2_i386.deb              16-Aug-2024 20:36             3230048
libcoq-quickchick_2.0.3-3+b4_amd64.deb             17-Sep-2024 20:36             4273124
libcoq-quickchick_2.0.3-3+b5_amd64.deb             13-Oct-2024 20:15             4273816
libcoq-quickchick_2.0.3-3+b6_amd64.deb             29-Nov-2024 02:20             4272068
libcoq-quickchick_2.0.4-1_amd64.deb                24-Dec-2024 02:34             4252376
libcoq-quickchick_2.0.5-1+b1_amd64.deb             12-Jan-2025 01:56             4253480
libcoq-quickchick_2.0.5-1+b2_amd64.deb             19-Jan-2025 03:04             4254116
libcoq-quickchick_2.0.5-1+b3_amd64.deb             07-Feb-2025 14:09             4253424
libcoq-quickchick_2.0.5-1+b4_amd64.deb             26-Feb-2025 02:27             4229964
libcoq-quickchick_2.0.5-1+b6_amd64.deb             23-Mar-2025 01:00             4228300
libcoq-quickchick_2.1.0-1+b1_amd64.deb             19-Jun-2025 20:09             4255076
libcoq-quickchick_2.1.0-1+b2_amd64.deb             16-Dec-2025 21:51             4253160
quickchick_1.6.4-3+b1_amd64.deb                    16-Dec-2025 21:54               55660
quickchick_2.0.2-1+b1_amd64.deb                    24-Jun-2024 01:43               58776
quickchick_2.0.2-1+b1_i386.deb                     24-Jun-2024 01:44               58760
quickchick_2.0.3-2+b2_amd64.deb                    16-Aug-2024 20:36              411352
quickchick_2.0.3-2+b2_i386.deb                     16-Aug-2024 20:36              403100
quickchick_2.0.3-3+b4_amd64.deb                    17-Sep-2024 20:36              482652
quickchick_2.0.3-3+b5_amd64.deb                    13-Oct-2024 20:15              480880
quickchick_2.0.3-3+b6_amd64.deb                    29-Nov-2024 02:20              482968
quickchick_2.0.4-1_amd64.deb                       24-Dec-2024 02:34              480052
quickchick_2.0.5-1+b1_amd64.deb                    12-Jan-2025 01:56              481152
quickchick_2.0.5-1+b2_amd64.deb                    19-Jan-2025 03:04              480980
quickchick_2.0.5-1+b3_amd64.deb                    07-Feb-2025 14:09              480688
quickchick_2.0.5-1+b4_amd64.deb                    26-Feb-2025 02:27              491388
quickchick_2.0.5-1+b6_amd64.deb                    23-Mar-2025 01:00              492500
quickchick_2.1.0-1+b1_amd64.deb                    19-Jun-2025 20:09              492272
quickchick_2.1.0-1+b2_amd64.deb                    16-Dec-2025 21:51              492264