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