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


../
coq-gappa_1.5.2-5.debian.tar.xz                    26-Jan-2023 20:44                2008
coq-gappa_1.5.2-5.dsc                              26-Jan-2023 20:44                2073
coq-gappa_1.5.2.orig.tar.bz2                       19-Jul-2022 15:00               73542
coq-gappa_1.5.4-1.debian.tar.xz                    22-Dec-2023 19:07                2196
coq-gappa_1.5.4-1.dsc                              22-Dec-2023 19:07                2073
coq-gappa_1.5.4.orig.tar.bz2                       22-Dec-2023 19:07               73571
coq-gappa_1.5.5-1.debian.tar.xz                    26-Apr-2024 22:01                2212
coq-gappa_1.5.5-1.dsc                              26-Apr-2024 22:01                2073
coq-gappa_1.5.5-2.debian.tar.xz                    04-Aug-2024 13:19                2356
coq-gappa_1.5.5-2.dsc                              04-Aug-2024 13:19                1852
coq-gappa_1.5.5.orig.tar.bz2                       26-Apr-2024 22:01               73595
coq-gappa_1.6.0-1.debian.tar.xz                    24-Jan-2025 05:57                2344
coq-gappa_1.6.0-1.dsc                              24-Jan-2025 05:57                2095
coq-gappa_1.6.0.orig.tar.bz2                       24-Jan-2025 05:57               75644
coq-gappa_1.7.0-1.debian.tar.xz                    20-Feb-2025 23:41                2208
coq-gappa_1.7.0-1.dsc                              20-Feb-2025 23:41                2095
coq-gappa_1.7.0.orig.tar.bz2                       20-Feb-2025 23:41               76391
coq-gappa_1.7.1-1.debian.tar.xz                    29-Oct-2025 17:19                2296
coq-gappa_1.7.1-1.dsc                              29-Oct-2025 17:19                2100
coq-gappa_1.7.1-2.debian.tar.xz                    12-Nov-2025 02:30                2340
coq-gappa_1.7.1-2.dsc                              12-Nov-2025 02:30                2107
coq-gappa_1.7.1.orig.tar.bz2                       29-Oct-2025 17:19               76292
libcoq-gappa_1.5.2-5+b1_amd64.deb                  13-Feb-2023 15:28              515836
libcoq-gappa_1.5.4-1_amd64.deb                     23-Dec-2023 19:47              495664
libcoq-gappa_1.5.5-1+b1_amd64.deb                  15-Jun-2024 19:35              516968
libcoq-gappa_1.5.5-1_amd64.deb                     28-Apr-2024 23:11              516016
libcoq-gappa_1.5.5-2+b1_amd64.deb                  12-Aug-2024 12:05              516684
libcoq-gappa_1.5.5-2+b2_amd64.deb                  21-Aug-2024 12:19              516608
libcoq-gappa_1.5.5-2+b3_amd64.deb                  20-Nov-2024 23:37              499664
libcoq-gappa_1.5.5-2+b4_amd64.deb                  21-Nov-2024 00:40              499628
libcoq-gappa_1.5.5-2_amd64.deb                     04-Aug-2024 13:55              516720
libcoq-gappa_1.6.0-1+b1_amd64.deb                  30-Jan-2025 15:52              536996
libcoq-gappa_1.6.0-1_amd64.deb                     24-Jan-2025 09:35              536592
libcoq-gappa_1.7.0-1+b1_amd64.deb                  15-Jun-2025 19:15              550700
libcoq-gappa_1.7.0-1+b2_amd64.deb                  28-Dec-2025 12:45              550792
libcoq-gappa_1.7.0-1_amd64.deb                     21-Feb-2025 00:06              550200
libcoq-gappa_1.7.1-1_amd64.deb                     29-Oct-2025 17:19              556648
libcoq-gappa_1.7.1-2_amd64.deb                     12-Nov-2025 02:30              556400