Index of /ubuntu-ports/pool/universe/o/ott/
../
libcoq-ott_0.33+ds-2build3_arm64.deb 01-Apr-2024 10:35 181704
libcoq-ott_0.33+ds-2build3_armhf.deb 01-Apr-2024 10:36 181746
libcoq-ott_0.33+ds-2build3_ppc64el.deb 01-Apr-2024 20:04 181718
libcoq-ott_0.33+ds-2build3_riscv64.deb 01-Apr-2024 10:38 181746
libcoq-ott_0.33+ds-2build3_s390x.deb 01-Apr-2024 15:39 181762
libcoq-ott_0.34+ds-1build3_arm64.deb 18-Feb-2025 21:25 183390
libcoq-ott_0.34+ds-1build3_ppc64el.deb 18-Feb-2025 21:26 183450
libcoq-ott_0.34+ds-1build3_riscv64.deb 19-Feb-2025 00:23 183428
libcoq-ott_0.34+ds-1build3_s390x.deb 19-Feb-2025 00:24 183428
libcoq-ott_0.34+ds-1build4_arm64.deb 20-Jun-2025 13:24 182574
libcoq-ott_0.34+ds-1build4_ppc64el.deb 20-Jun-2025 13:24 182594
libcoq-ott_0.34+ds-1build4_riscv64.deb 20-Jun-2025 15:15 182562
libcoq-ott_0.34+ds-1build4_s390x.deb 20-Jun-2025 13:24 182538
libcoq-ott_0.34+ds-1build7_arm64.deb 04-Mar-2026 08:35 182540
libcoq-ott_0.34+ds-1build7_ppc64el.deb 04-Mar-2026 08:35 182562
libcoq-ott_0.34+ds-1build7_riscv64.deb 04-Mar-2026 08:35 182550
libcoq-ott_0.34+ds-1build7_s390x.deb 04-Mar-2026 08:35 182542
libcoq-ott_0.34+ds-1build8_arm64.deb 08-Jul-2026 21:28 182710
libcoq-ott_0.34+ds-1build8_ppc64el.deb 09-Jul-2026 01:43 182728
libcoq-ott_0.34+ds-1build8_riscv64.deb 09-Jul-2026 01:44 182698
libcoq-ott_0.34+ds-1build8_s390x.deb 09-Jul-2026 05:22 182672
ott-tools_0.33+ds-2build3_arm64.deb 01-Apr-2024 10:35 1770576
ott-tools_0.33+ds-2build3_armhf.deb 01-Apr-2024 10:36 1502402
ott-tools_0.33+ds-2build3_ppc64el.deb 01-Apr-2024 20:04 1627518
ott-tools_0.33+ds-2build3_riscv64.deb 01-Apr-2024 10:38 1584146
ott-tools_0.33+ds-2build3_s390x.deb 01-Apr-2024 15:39 1586364
ott-tools_0.34+ds-1build3_arm64.deb 18-Feb-2025 21:25 1911174
ott-tools_0.34+ds-1build3_ppc64el.deb 18-Feb-2025 21:26 1769378
ott-tools_0.34+ds-1build3_riscv64.deb 19-Feb-2025 00:23 1769588
ott-tools_0.34+ds-1build3_s390x.deb 19-Feb-2025 00:24 1757152
ott-tools_0.34+ds-1build4_arm64.deb 20-Jun-2025 13:24 1909184
ott-tools_0.34+ds-1build4_ppc64el.deb 20-Jun-2025 13:24 1766606
ott-tools_0.34+ds-1build4_riscv64.deb 20-Jun-2025 15:15 1768180
ott-tools_0.34+ds-1build4_s390x.deb 20-Jun-2025 13:24 1751014
ott-tools_0.34+ds-1build7_arm64.deb 04-Mar-2026 08:35 1924394
ott-tools_0.34+ds-1build7_ppc64el.deb 04-Mar-2026 08:35 1787216
ott-tools_0.34+ds-1build7_riscv64.deb 04-Mar-2026 08:35 1809664
ott-tools_0.34+ds-1build7_s390x.deb 04-Mar-2026 08:35 1796910
ott-tools_0.34+ds-1build8_arm64.deb 08-Jul-2026 21:28 1925106
ott-tools_0.34+ds-1build8_ppc64el.deb 09-Jul-2026 01:43 1787378
ott-tools_0.34+ds-1build8_riscv64.deb 09-Jul-2026 01:44 1808326
ott-tools_0.34+ds-1build8_s390x.deb 09-Jul-2026 05:22 1797150
ott_0.33+ds-2build3.debian.tar.xz 01-Apr-2024 05:43 7032
ott_0.33+ds-2build3.dsc 01-Apr-2024 05:43 2187
ott_0.33+ds.orig.tar.xz 13-Jun-2023 05:30 1140368
ott_0.34+ds-1build3.debian.tar.xz 18-Feb-2025 21:25 7124
ott_0.34+ds-1build3.dsc 18-Feb-2025 21:25 2108
ott_0.34+ds-1build4.debian.tar.xz 20-Jun-2025 13:22 7152
ott_0.34+ds-1build4.dsc 20-Jun-2025 13:22 2108
ott_0.34+ds-1build7.debian.tar.xz 04-Mar-2026 08:35 7252
ott_0.34+ds-1build7.dsc 04-Mar-2026 08:35 2108
ott_0.34+ds-1build8.debian.tar.xz 08-Jul-2026 15:25 7276
ott_0.34+ds-1build8.dsc 08-Jul-2026 15:26 2108
ott_0.34+ds.orig.tar.xz 04-Jan-2025 18:00 1142148