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
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+b1_riscv64.deb        15-Jun-2024 12:11             2883616
libcoq-math-classes_8.19.0-1+b2_amd64.deb          25-Jun-2024 09:58             2883876
libcoq-math-classes_8.19.0-1+b2_arm64.deb          25-Jun-2024 09:58             2883388
libcoq-math-classes_8.19.0-1+b2_armhf.deb          25-Jun-2024 10:03             2881440
libcoq-math-classes_8.19.0-1+b2_i386.deb           25-Jun-2024 09:53             2882004
libcoq-math-classes_8.19.0-1+b2_ppc64el.deb        25-Jun-2024 09:58             2883748
libcoq-math-classes_8.19.0-1+b2_riscv64.deb        30-Jun-2024 17:18             2884044
libcoq-math-classes_8.19.0-1+b2_s390x.deb          25-Jun-2024 10:29             2883516