Index of /ubuntu-ports/pool/universe/o/ott/
../
libcoq-ott_0.33+ds-2build3_arm64.deb 01-Apr-2024 17:35 177K
libcoq-ott_0.33+ds-2build3_armhf.deb 01-Apr-2024 17:36 177K
libcoq-ott_0.33+ds-2build3_ppc64el.deb 02-Apr-2024 03:04 177K
libcoq-ott_0.33+ds-2build3_riscv64.deb 01-Apr-2024 17:38 177K
libcoq-ott_0.33+ds-2build3_s390x.deb 01-Apr-2024 22:39 178K
libcoq-ott_0.33+ds-4build4_arm64.deb 07-Sep-2024 22:44 186K
libcoq-ott_0.33+ds-4build4_ppc64el.deb 07-Sep-2024 22:44 186K
libcoq-ott_0.33+ds-4build4_riscv64.deb 07-Sep-2024 23:34 186K
libcoq-ott_0.33+ds-4build4_s390x.deb 07-Sep-2024 22:44 186K
libcoq-ott_0.34+ds-1build3_arm64.deb 19-Feb-2025 04:25 179K
libcoq-ott_0.34+ds-1build3_ppc64el.deb 19-Feb-2025 04:26 179K
libcoq-ott_0.34+ds-1build3_riscv64.deb 19-Feb-2025 07:23 179K
libcoq-ott_0.34+ds-1build3_s390x.deb 19-Feb-2025 07:24 179K
ott-tools_0.33+ds-2build3_arm64.deb 01-Apr-2024 17:35 2M
ott-tools_0.33+ds-2build3_armhf.deb 01-Apr-2024 17:36 1M
ott-tools_0.33+ds-2build3_ppc64el.deb 02-Apr-2024 03:04 2M
ott-tools_0.33+ds-2build3_riscv64.deb 01-Apr-2024 17:38 2M
ott-tools_0.33+ds-2build3_s390x.deb 01-Apr-2024 22:39 2M
ott-tools_0.33+ds-4build4_arm64.deb 07-Sep-2024 22:44 2M
ott-tools_0.33+ds-4build4_ppc64el.deb 07-Sep-2024 22:44 2M
ott-tools_0.33+ds-4build4_riscv64.deb 07-Sep-2024 23:34 2M
ott-tools_0.33+ds-4build4_s390x.deb 07-Sep-2024 22:44 2M
ott-tools_0.34+ds-1build3_arm64.deb 19-Feb-2025 04:25 2M
ott-tools_0.34+ds-1build3_ppc64el.deb 19-Feb-2025 04:26 2M
ott-tools_0.34+ds-1build3_riscv64.deb 19-Feb-2025 07:23 2M
ott-tools_0.34+ds-1build3_s390x.deb 19-Feb-2025 07:24 2M
ott_0.33+ds-2build3.debian.tar.xz 01-Apr-2024 12:43 7032
ott_0.33+ds-2build3.dsc 01-Apr-2024 12:43 2187
ott_0.33+ds-4build4.debian.tar.xz 07-Sep-2024 22:43 8336
ott_0.33+ds-4build4.dsc 07-Sep-2024 22:43 2108
ott_0.33+ds.orig.tar.xz 13-Jun-2023 12:30 1M
ott_0.34+ds-1build3.debian.tar.xz 19-Feb-2025 04:25 7124
ott_0.34+ds-1build3.dsc 19-Feb-2025 04:25 2108
ott_0.34+ds.orig.tar.xz 05-Jan-2025 01:00 1M