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