Index of /debian/pool/main/c/coqeal/

Index of /debian/pool/main/c/coqeal/


../
coqeal_1.1.1-3.debian.tar.xz                       27-Jan-2023 16:30                2160
coqeal_1.1.1-3.dsc                                 27-Jan-2023 16:30                2158
coqeal_1.1.1.orig.tar.gz                           08-Jul-2022 07:23              218742
coqeal_2.1.0-1.debian.tar.xz                       18-Mar-2025 12:33                2408
coqeal_2.1.0-1.dsc                                 18-Mar-2025 12:33                2184
coqeal_2.1.0.orig.tar.gz                           18-Mar-2025 12:33              226713
coqeal_2.1.1-1.debian.tar.xz                       30-Oct-2025 09:09                2456
coqeal_2.1.1-1.dsc                                 30-Oct-2025 09:09                2156
coqeal_2.1.1-2.debian.tar.xz                       11-Nov-2025 20:22                2500
coqeal_2.1.1-2.dsc                                 11-Nov-2025 20:22                2163
coqeal_2.1.1.orig.tar.gz                           30-Oct-2025 09:09              227388
libcoq-coqeal_1.1.1-3+b1_amd64.deb                 14-Feb-2023 06:27             4620840
libcoq-coqeal_1.1.1-3+b1_arm64.deb                 14-Feb-2023 06:27             4619912
libcoq-coqeal_1.1.1-3+b1_armhf.deb                 14-Feb-2023 06:26             4618512
libcoq-coqeal_1.1.1-3+b1_i386.deb                  14-Feb-2023 06:27             4618560
libcoq-coqeal_1.1.1-3+b1_ppc64el.deb               14-Feb-2023 07:27             4620264
libcoq-coqeal_1.1.1-3+b1_s390x.deb                 14-Feb-2023 07:17             4619356
libcoq-coqeal_2.1.0-1+b1_amd64.deb                 15-Jun-2025 11:15             5576408
libcoq-coqeal_2.1.0-1+b1_arm64.deb                 15-Jun-2025 11:20             5575220
libcoq-coqeal_2.1.0-1+b1_ppc64el.deb               15-Jun-2025 11:25             5575456
libcoq-coqeal_2.1.0-1+b1_riscv64.deb               17-Jun-2025 23:33             5575700
libcoq-coqeal_2.1.0-1+b1_s390x.deb                 17-Jun-2025 23:48             5575104
libcoq-coqeal_2.1.0-1+b7_amd64.deb                 28-Oct-2025 22:12             5574896
libcoq-coqeal_2.1.0-1+b7_arm64.deb                 28-Oct-2025 22:17             5574264
libcoq-coqeal_2.1.0-1+b7_ppc64el.deb               28-Oct-2025 22:17             5575976
libcoq-coqeal_2.1.0-1+b7_riscv64.deb               29-Oct-2025 13:48             5575248
libcoq-coqeal_2.1.0-1+b7_s390x.deb                 28-Oct-2025 22:17             5575472
libcoq-coqeal_2.1.0-1+b8_amd64.deb                 28-Dec-2025 07:17             5576928
libcoq-coqeal_2.1.0-1+b8_arm64.deb                 28-Dec-2025 07:07             5575784
libcoq-coqeal_2.1.0-1+b8_ppc64el.deb               28-Dec-2025 07:32             5574292
libcoq-coqeal_2.1.0-1+b8_riscv64.deb               29-Dec-2025 00:47             5575140
libcoq-coqeal_2.1.0-1+b8_s390x.deb                 28-Dec-2025 08:08             5574724
libcoq-coqeal_2.1.1-1_arm64.deb                    30-Oct-2025 15:15             5574836
libcoq-coqeal_2.1.1-1_ppc64el.deb                  30-Oct-2025 21:08             5574740
libcoq-coqeal_2.1.1-1_s390x.deb                    31-Oct-2025 11:49             5574820
libcoq-coqeal_2.1.1-2_amd64.deb                    11-Nov-2025 20:22             8402932

DISCLAIMER

This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.