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

../
coq-corn_8.16.0-2.debian.tar.xz                    27-Jan-2023 14:18                3864
coq-corn_8.16.0-2.dsc                              27-Jan-2023 14:18                2092
coq-corn_8.16.0.orig.tar.gz                        06-Sep-2022 17:04             1319677
coq-corn_8.18.0-1.debian.tar.xz                    22-Dec-2023 19:07                4112
coq-corn_8.18.0-1.dsc                              22-Dec-2023 19:07                2092
coq-corn_8.18.0.orig.tar.gz                        22-Dec-2023 19:07             1320047
coq-corn_8.19.0+ds1-1.debian.tar.xz                11-May-2024 23:55                4240
coq-corn_8.19.0+ds1-1.dsc                          11-May-2024 23:55                2120
coq-corn_8.19.0+ds1-2.debian.tar.xz                20-Nov-2024 18:07                4264
coq-corn_8.19.0+ds1-2.dsc                          20-Nov-2024 18:07                2120
coq-corn_8.19.0+ds1.orig.tar.gz                    11-May-2024 23:55             1321010
coq-corn_8.20.0-1.debian.tar.xz                    18-Feb-2025 00:37                4296
coq-corn_8.20.0-1.dsc                              18-Feb-2025 00:37                2117
coq-corn_8.20.0.orig.tar.gz                        18-Feb-2025 00:37             1321158
coq-corn_9.0.0-1.debian.tar.xz                     29-Oct-2025 17:49                4408
coq-corn_9.0.0-1.dsc                               29-Oct-2025 17:49                2110
coq-corn_9.0.0-2.debian.tar.xz                     12-Nov-2025 03:01                4448
coq-corn_9.0.0-2.dsc                               12-Nov-2025 03:01                2117
coq-corn_9.0.0.orig.tar.gz                         29-Oct-2025 17:49             1321476
libcoq-corn_8.16.0-2+b1_amd64.deb                  14-Feb-2023 14:26            11321776
libcoq-corn_8.18.0-1_amd64.deb                     24-Dec-2023 19:55            13472772
libcoq-corn_8.19.0+ds1-1+b1_amd64.deb              15-Jun-2024 20:01            13442000
libcoq-corn_8.19.0+ds1-1+b2_amd64.deb              25-Jun-2024 18:29            13440356
libcoq-corn_8.19.0+ds1-1+b3_amd64.deb              05-Aug-2024 02:35            13440168
libcoq-corn_8.19.0+ds1-1+b4_amd64.deb              12-Aug-2024 12:46            13442228
libcoq-corn_8.19.0+ds1-1+b5_amd64.deb              21-Aug-2024 12:40            13443884
libcoq-corn_8.19.0+ds1-1_amd64.deb                 12-May-2024 00:26            13440612
libcoq-corn_8.19.0+ds1-2+b1_amd64.deb              21-Nov-2024 00:13            13214604
libcoq-corn_8.19.0+ds1-2+b2_amd64.deb              21-Nov-2024 00:40            13214016
libcoq-corn_8.19.0+ds1-2+b3_amd64.deb              30-Jan-2025 15:57            13213944
libcoq-corn_8.19.0+ds1-2_amd64.deb                 20-Nov-2024 18:48            13442776
libcoq-corn_8.20.0-1+b10_amd64.deb                 28-Oct-2025 22:58            13340012
libcoq-corn_8.20.0-1+b12_amd64.deb                 28-Dec-2025 13:05            13340892
libcoq-corn_8.20.0-1+b2_amd64.deb                  18-Mar-2025 22:56            13342436
libcoq-corn_8.20.0-1+b3_amd64.deb                  15-Jun-2025 19:35            13340748
libcoq-corn_8.20.0-1+b4_amd64.deb                  17-Jun-2025 19:08            13342344
libcoq-corn_8.20.0-1+b5_amd64.deb                  26-Aug-2025 18:39            13342512
libcoq-corn_8.20.0-1+b6_amd64.deb                  11-Sep-2025 23:50            13342512
libcoq-corn_8.20.0-1+b7_amd64.deb                  16-Sep-2025 15:14            13341348
libcoq-corn_8.20.0-1+b8_amd64.deb                  24-Sep-2025 15:56            13343564
libcoq-corn_8.20.0-1+b9_amd64.deb                  17-Oct-2025 19:46            13341716
libcoq-corn_9.0.0-1_amd64.deb                      29-Oct-2025 17:49            13556892
libcoq-corn_9.0.0-2_amd64.deb                      12-Nov-2025 03:01            13556716