Index of /ubuntu/pool/universe/c/coq-math-classes/

../
coq-math-classes_8.18.0-1build3.debian.tar.xz      04-Mar-2026 09:33    3128
coq-math-classes_8.18.0-1build3.dsc                04-Mar-2026 09:33    2242
coq-math-classes_8.18.0.orig.tar.gz                04-Mar-2026 09:33    165K
coq-math-classes_8.19.0-1build17.debian.tar.xz     22-Jul-2026 18:38    3408
coq-math-classes_8.19.0-1build17.dsc               22-Jul-2026 18:38    2167
coq-math-classes_8.19.0.orig.tar.gz                22-Jul-2026 18:38    165K
libcoq-math-classes_8.18.0-1build3_amd64.deb       04-Mar-2026 09:33      3M
libcoq-math-classes_8.19.0-1build17_amd64.deb      22-Jul-2026 18:38      3M