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

../
coq-corn_8.13.0-1.debian.tar.xz                    15-Jul-2022 10:43                3776
coq-corn_8.13.0-1.dsc                              15-Jul-2022 10:43                2087
coq-corn_8.13.0.orig.tar.gz                        15-Jul-2022 10:43             1318281
coq-corn_8.16.0-1.debian.tar.xz                    06-Sep-2022 09:04                3800
coq-corn_8.16.0-1.dsc                              06-Sep-2022 09:04                2087
coq-corn_8.16.0-2.debian.tar.xz                    27-Jan-2023 06:18                3864
coq-corn_8.16.0-2.dsc                              27-Jan-2023 06:18                2092
coq-corn_8.16.0-3.debian.tar.xz                    13-Jun-2023 20:29                3884
coq-corn_8.16.0-3.dsc                              13-Jun-2023 20:29                2092
coq-corn_8.16.0.orig.tar.gz                        06-Sep-2022 09:04             1319677
coq-corn_8.18.0-1.debian.tar.xz                    22-Dec-2023 11:07                4112
coq-corn_8.18.0-1.dsc                              22-Dec-2023 11:07                2092
coq-corn_8.18.0.orig.tar.gz                        22-Dec-2023 11:07             1320047
coq-corn_8.19.0+ds1-1.debian.tar.xz                11-May-2024 15:55                4240
coq-corn_8.19.0+ds1-1.dsc                          11-May-2024 15:55                2120
coq-corn_8.19.0+ds1-2.debian.tar.xz                20-Nov-2024 10:07                4264
coq-corn_8.19.0+ds1-2.dsc                          20-Nov-2024 10:07                2120
coq-corn_8.19.0+ds1.orig.tar.gz                    11-May-2024 15:55             1321010
libcoq-corn_8.16.0-1+b1_armhf.deb                  03-Dec-2022 14:45            11318744
libcoq-corn_8.16.0-1+b2_armhf.deb                  31-Dec-2022 04:08            11317496
libcoq-corn_8.16.0-1_armhf.deb                     19-Sep-2022 04:08            11317016
libcoq-corn_8.16.0-2+b1_armhf.deb                  04-Feb-2023 18:25            11320308
libcoq-corn_8.16.0-2+b2_armhf.deb                  21-May-2023 22:38            11317072
libcoq-corn_8.16.0-2+b3_armhf.deb                  22-May-2023 10:08            11316708
libcoq-corn_8.16.0-2_armhf.deb                     01-Feb-2023 04:08            11317064
libcoq-corn_8.16.0-3+b1_armhf.deb                  21-Oct-2023 16:08            11289252
libcoq-corn_8.16.0-3_armhf.deb                     14-Sep-2023 18:35            11317228
libcoq-corn_8.18.0-1+b1_armhf.deb                  22-Feb-2024 10:08            13470704
libcoq-corn_8.18.0-1+b2_armhf.deb                  19-Jun-2024 00:39            13468788
libcoq-corn_8.18.0-1_armhf.deb                     23-Jan-2024 10:08            13840124
libcoq-corn_8.19.0+ds1-1+b1_armhf.deb              26-Jun-2024 10:08            13437484
libcoq-corn_8.19.0+ds1-1+b2_armhf.deb              27-Jun-2024 22:08            13437536
libcoq-corn_8.19.0+ds1-1_armhf.deb                 24-Jun-2024 10:08            13473760