Index of /debian/pool/main/c/coq-math-classes/

Index of /debian/pool/main/c/coq-math-classes/


../
coq-math-classes_8.15.0-4.debian.tar.xz            26-Jan-2023 12:44                2624
coq-math-classes_8.15.0-4.dsc                      26-Jan-2023 12:44                2164
coq-math-classes_8.15.0.orig.tar.gz                08-Jul-2022 06:17              167961
coq-math-classes_8.19.0-1.debian.tar.xz            26-Apr-2024 14:06                2936
coq-math-classes_8.19.0-1.dsc                      26-Apr-2024 14:06                2164
coq-math-classes_8.19.0.orig.tar.gz                26-Apr-2024 14:06              169013
coq-math-classes_9.0.0-1.debian.tar.xz             29-Oct-2025 09:29                2924
coq-math-classes_9.0.0-1.dsc                       29-Oct-2025 09:29                2169
coq-math-classes_9.0.0-2.debian.tar.xz             11-Nov-2025 18:41                2964
coq-math-classes_9.0.0-2.dsc                       11-Nov-2025 18:41                2176
coq-math-classes_9.0.0.orig.tar.gz                 29-Oct-2025 09:29              169022
libcoq-math-classes_8.15.0-4+b1_amd64.deb          13-Feb-2023 07:28             2971664
libcoq-math-classes_8.15.0-4+b1_arm64.deb          13-Feb-2023 07:28             2970856
libcoq-math-classes_8.15.0-4+b1_armhf.deb          13-Feb-2023 07:28             2969456
libcoq-math-classes_8.15.0-4+b1_i386.deb           13-Feb-2023 07:34             2969608
libcoq-math-classes_8.15.0-4+b1_ppc64el.deb        14-Feb-2023 11:10             2971356
libcoq-math-classes_8.15.0-4+b1_s390x.deb          13-Feb-2023 07:33             2971240
libcoq-math-classes_8.19.0-1+b10_arm64.deb         15-Jun-2025 11:20             2825560
libcoq-math-classes_8.19.0-1+b10_riscv64.deb       15-Jun-2025 12:26             2825944
libcoq-math-classes_8.19.0-1+b10_s390x.deb         17-Jun-2025 20:14             2825596
libcoq-math-classes_8.19.0-1+b11_amd64.deb         15-Jun-2025 11:15             2826216
libcoq-math-classes_8.19.0-1+b11_arm64.deb         28-Dec-2025 04:45             2825748
libcoq-math-classes_8.19.0-1+b11_ppc64el.deb       15-Jun-2025 11:00             2826320
libcoq-math-classes_8.19.0-1+b11_riscv64.deb       28-Dec-2025 06:42             2825820
libcoq-math-classes_8.19.0-1+b11_s390x.deb         28-Dec-2025 04:30             2825604
libcoq-math-classes_8.19.0-1+b12_amd64.deb         28-Dec-2025 04:45             2825800
libcoq-math-classes_8.19.0-1+b12_ppc64el.deb       28-Dec-2025 04:30             2825960
libcoq-math-classes_9.0.0-1_arm64.deb              29-Oct-2025 12:16             2825824
libcoq-math-classes_9.0.0-1_ppc64el.deb            29-Oct-2025 12:10             2825828
libcoq-math-classes_9.0.0-1_s390x.deb              29-Oct-2025 13:43             2825088
libcoq-math-classes_9.0.0-2_amd64.deb              11-Nov-2025 18:41             2889564

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.