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

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


../
coq-equations_1.3-8.16-2.debian.tar.xz             26-Jan-2023 12:44                2232
coq-equations_1.3-8.16-2.dsc                       26-Jan-2023 12:44                2166
coq-equations_1.3-8.16.orig.tar.gz                 06-Sep-2022 09:09             1097638
coq-equations_1.3.1-8.20-1.debian.tar.xz           20-Nov-2024 10:02                2748
coq-equations_1.3.1-8.20-1.dsc                     20-Nov-2024 10:02                2180
coq-equations_1.3.1-8.20.orig.tar.gz               20-Nov-2024 10:02             1104362
libcoq-equations_1.3-8.16-2+b1_amd64.deb           14-Feb-2023 06:11             1421860
libcoq-equations_1.3-8.16-2+b1_arm64.deb           14-Feb-2023 06:11             1446000
libcoq-equations_1.3-8.16-2+b1_armhf.deb           14-Feb-2023 06:11             1406004
libcoq-equations_1.3-8.16-2+b1_i386.deb            14-Feb-2023 06:11             1364728
libcoq-equations_1.3-8.16-2+b1_ppc64el.deb         14-Feb-2023 06:11             1429984
libcoq-equations_1.3-8.16-2+b1_s390x.deb           14-Feb-2023 06:11             1436048
libcoq-equations_1.3.1-8.20-1+b4_amd64.deb         15-Jun-2025 11:15             1209136
libcoq-equations_1.3.1-8.20-1+b4_arm64.deb         15-Jun-2025 11:15             1230080
libcoq-equations_1.3.1-8.20-1+b4_ppc64el.deb       15-Jun-2025 11:15             1213156
libcoq-equations_1.3.1-8.20-1+b4_riscv64.deb       15-Jun-2025 12:00             1209484
libcoq-equations_1.3.1-8.20-1+b5_amd64.deb         28-Dec-2025 04:45             1199816
libcoq-equations_1.3.1-8.20-1+b5_arm64.deb         28-Dec-2025 04:45             1219840
libcoq-equations_1.3.1-8.20-1+b5_ppc64el.deb       28-Dec-2025 04:45             1202956
libcoq-equations_1.3.1-8.20-1+b5_riscv64.deb       28-Dec-2025 06:42             1202500
libcoq-equations_1.3.1-8.20-1+b5_s390x.deb         17-Jun-2025 08:31             1211520
libcoq-equations_1.3.1-8.20-1+b6_s390x.deb         28-Dec-2025 04:45             1204668

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.