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