Index of /ubuntu/pool/universe/c/coq-math-classes/
../
coq-math-classes_8.18.0-1build3.debian.tar.xz 08-Apr-2024 12:57 3128
coq-math-classes_8.18.0-1build3.dsc 08-Apr-2024 12:57 2242
coq-math-classes_8.18.0.orig.tar.gz 23-Dec-2023 22:16 165K
coq-math-classes_8.19.0-1build13.debian.tar.xz 19-Feb-2025 12:52 3272
coq-math-classes_8.19.0-1build13.dsc 19-Feb-2025 12:52 2167
coq-math-classes_8.19.0-1build14.debian.tar.xz 20-Jun-2025 18:22 3288
coq-math-classes_8.19.0-1build14.dsc 20-Jun-2025 18:22 2167
coq-math-classes_8.19.0-1build8.debian.tar.xz 08-Sep-2024 00:04 3180
coq-math-classes_8.19.0-1build8.dsc 08-Sep-2024 00:04 2163
coq-math-classes_8.19.0.orig.tar.gz 02-May-2024 16:53 165K
libcoq-math-classes_8.18.0-1build3_amd64.deb 08-Apr-2024 15:59 3M
libcoq-math-classes_8.19.0-1build13_amd64.deb 19-Feb-2025 12:53 3M
libcoq-math-classes_8.19.0-1build14_amd64.deb 20-Jun-2025 22:40 3M
libcoq-math-classes_8.19.0-1build8_amd64.deb 08-Sep-2024 00:05 3M