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

../
coq-math-classes_8.15.0-4.debian.tar.xz            31-Oct-2025 09:21                2624
coq-math-classes_8.15.0-4.dsc                      31-Oct-2025 09:21                2164
coq-math-classes_8.15.0.orig.tar.gz                31-Oct-2025 09:21              167961
coq-math-classes_8.19.0-1.debian.tar.xz            31-Oct-2025 09:21                2936
coq-math-classes_8.19.0-1.dsc                      31-Oct-2025 09:21                2164
coq-math-classes_8.19.0.orig.tar.gz                31-Oct-2025 09:21              169013
libcoq-math-classes_8.15.0-4+b1_amd64.deb          31-Oct-2025 09:21             2971664
libcoq-math-classes_8.19.0-1+b11_amd64.deb         31-Oct-2025 09:21             2826216