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_i386.deb           13-Feb-2023 07:34             2969608
libcoq-math-classes_8.19.0-1+b2_amd64.deb          25-Jun-2024 09:58             2883876
libcoq-math-classes_8.19.0-1+b2_i386.deb           25-Jun-2024 09:53             2882004
libcoq-math-classes_8.19.0-1+b2_riscv64.deb        30-Jun-2024 17:18             2884044