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

../
coq-math-classes_8.15.0-4.debian.tar.xz            20-Apr-2023 12:16                2624
coq-math-classes_8.15.0-4.dsc                      20-Apr-2023 12:16                2164
coq-math-classes_8.15.0.orig.tar.gz                20-Apr-2023 12:16              167961
coq-math-classes_8.19.0-1.debian.tar.xz            06-Aug-2025 12:26                2936
coq-math-classes_8.19.0-1.dsc                      06-Aug-2025 12:26                2164
coq-math-classes_8.19.0.orig.tar.gz                06-Aug-2025 12:26              169013
libcoq-math-classes_8.15.0-4+b1_amd64.deb          20-Apr-2023 12:16             2971664
libcoq-math-classes_8.15.0-4+b1_i386.deb           20-Apr-2023 12:16             2969608
libcoq-math-classes_8.19.0-1+b11_amd64.deb         06-Aug-2025 12:26             2826216