Index of /raspbian/pool/main/c/coq-quickchick/
../
coq-quickchick_1.6.3-1.debian.tar.xz 15-Jul-2022 22:49 2572
coq-quickchick_1.6.3-1.dsc 15-Jul-2022 22:49 2256
coq-quickchick_1.6.3.orig.tar.gz 15-Jul-2022 22:49 388838
coq-quickchick_1.6.4-1.debian.tar.xz 15-Aug-2022 06:38 2636
coq-quickchick_1.6.4-1.dsc 15-Aug-2022 06:38 2256
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-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.0-2.debian.tar.xz 12-Jul-2023 09:06 2900
coq-quickchick_2.0-2.dsc 12-Jul-2023 09:06 2033
coq-quickchick_2.0.2-1.debian.tar.xz 20-Jan-2024 19:21 3048
coq-quickchick_2.0.2-1.dsc 20-Jan-2024 19:21 2275
coq-quickchick_2.0.2.orig.tar.gz 20-Jan-2024 19:21 415619
coq-quickchick_2.0.3-2.debian.tar.xz 30-Apr-2024 21:09 2792
coq-quickchick_2.0.3-2.dsc 30-Apr-2024 21:09 2275
coq-quickchick_2.0.3-3.debian.tar.xz 04-Aug-2024 06:22 2856
coq-quickchick_2.0.3-3.dsc 04-Aug-2024 06:22 2049
coq-quickchick_2.0.3.orig.tar.gz 30-Apr-2024 21:09 411625
coq-quickchick_2.0.4-1.debian.tar.xz 20-Nov-2024 10:07 2876
coq-quickchick_2.0.4-1.dsc 20-Nov-2024 10:07 2275
coq-quickchick_2.0.4.orig.tar.gz 20-Nov-2024 10:07 412923
coq-quickchick_2.0.5-1.debian.tar.xz 18-Dec-2024 16:08 2888
coq-quickchick_2.0.5-1.dsc 18-Dec-2024 16:08 2287
coq-quickchick_2.0.5.orig.tar.gz 18-Dec-2024 16:08 413023
coq-quickchick_2.0.orig.tar.gz 14-Jun-2023 13:57 409785
libcoq-quickchick_1.6.4-2+b1_armhf.deb 03-Dec-2022 14:45 1575908
libcoq-quickchick_1.6.4-2_armhf.deb 06-Oct-2022 04:08 1575804
libcoq-quickchick_1.6.4-3+b1_armhf.deb 07-Feb-2023 21:13 1576920
libcoq-quickchick_1.6.4-3+b3_armhf.deb 22-May-2023 04:08 1575820
libcoq-quickchick_1.6.4-3_armhf.deb 30-Jan-2023 22:08 1575464
libcoq-quickchick_2.0-2+b1_armhf.deb 21-Oct-2023 16:08 1810800
libcoq-quickchick_2.0-2_armhf.deb 14-Sep-2023 19:36 1809784
libcoq-quickchick_2.0.2-1+b1_armhf.deb 25-Jan-2024 04:08 1696388
libcoq-quickchick_2.0.2-1+b2_armhf.deb 01-Mar-2024 22:08 1697228
libcoq-quickchick_2.0.2-1+b3_armhf.deb 19-Jun-2024 15:33 1696712
libcoq-quickchick_2.0.3-2+b1_armhf.deb 28-Jun-2024 22:08 3244572
libcoq-quickchick_2.0.3-2_armhf.deb 24-Jun-2024 10:08 3232652
quickchick_1.6.4-2+b1_armhf.deb 03-Dec-2022 14:45 55588
quickchick_1.6.4-2_armhf.deb 06-Oct-2022 04:08 55312
quickchick_1.6.4-3+b1_armhf.deb 07-Feb-2023 21:13 55620
quickchick_1.6.4-3+b3_armhf.deb 22-May-2023 04:08 55624
quickchick_1.6.4-3_armhf.deb 30-Jan-2023 22:08 55344
quickchick_2.0-2+b1_armhf.deb 21-Oct-2023 16:08 58636
quickchick_2.0-2_armhf.deb 14-Sep-2023 19:36 56380
quickchick_2.0.2-1+b1_armhf.deb 25-Jan-2024 04:08 58708
quickchick_2.0.2-1+b2_armhf.deb 01-Mar-2024 22:08 58704
quickchick_2.0.2-1+b3_armhf.deb 19-Jun-2024 15:33 58716
quickchick_2.0.3-2+b1_armhf.deb 28-Jun-2024 22:08 361016
quickchick_2.0.3-2_armhf.deb 24-Jun-2024 10:08 360688