Index of /ubuntu-ports/pool/universe/c/coq-math-classes/
../
coq-math-classes_8.18.0-1build3.debian.tar.xz 08-Apr-2024 14:57 3128
coq-math-classes_8.18.0-1build3.dsc 08-Apr-2024 14:57 2242
coq-math-classes_8.18.0.orig.tar.gz 24-Dec-2023 00:16 165K
coq-math-classes_8.19.0-1build13.debian.tar.xz 19-Feb-2025 14:52 3272
coq-math-classes_8.19.0-1build13.dsc 19-Feb-2025 14:52 2167
coq-math-classes_8.19.0-1build8.debian.tar.xz 08-Sep-2024 02:04 3180
coq-math-classes_8.19.0-1build8.dsc 08-Sep-2024 02:04 2163
coq-math-classes_8.19.0.orig.tar.gz 02-May-2024 18:53 165K
libcoq-math-classes_8.18.0-1build3_arm64.deb 08-Apr-2024 20:14 3M
libcoq-math-classes_8.18.0-1build3_armhf.deb 08-Apr-2024 20:15 3M
libcoq-math-classes_8.18.0-1build3_ppc64el.deb 08-Apr-2024 20:15 3M
libcoq-math-classes_8.18.0-1build3_riscv64.deb 08-Apr-2024 20:15 3M
libcoq-math-classes_8.18.0-1build3_s390x.deb 08-Apr-2024 20:15 3M
libcoq-math-classes_8.19.0-1build13_arm64.deb 19-Feb-2025 18:16 3M
libcoq-math-classes_8.19.0-1build13_ppc64el.deb 19-Feb-2025 20:44 3M
libcoq-math-classes_8.19.0-1build13_riscv64.deb 19-Feb-2025 20:45 3M
libcoq-math-classes_8.19.0-1build13_s390x.deb 19-Feb-2025 18:18 3M
libcoq-math-classes_8.19.0-1build8_arm64.deb 08-Sep-2024 02:05 3M
libcoq-math-classes_8.19.0-1build8_ppc64el.deb 08-Sep-2024 02:05 3M
libcoq-math-classes_8.19.0-1build8_riscv64.deb 08-Sep-2024 02:58 3M
libcoq-math-classes_8.19.0-1build8_s390x.deb 08-Sep-2024 02:05 3M