../ coq-math-classes_8.19.0-1.debian.tar.xz 11-Jun-2026 16:06 2936 coq-math-classes_8.19.0-1.dsc 11-Jun-2026 16:06 2164 coq-math-classes_8.19.0.orig.tar.gz 11-Jun-2026 16:06 169013 libcoq-math-classes_8.19.0-1+b10_riscv64.deb 11-Jun-2026 16:06 2825944 libcoq-math-classes_8.19.0-1+b11_amd64.deb 11-Jun-2026 16:06 2826216