Index of /ubuntu/pool/universe/o/ott/
../
libcoq-ott_0.33+ds-2build3_amd64.deb 01-Apr-2024 15:51 177K
libcoq-ott_0.34+ds-1build3_amd64.deb 19-Feb-2025 06:25 179K
libcoq-ott_0.34+ds-1build4_amd64.deb 20-Jun-2025 22:23 178K
libcoq-ott_0.34+ds-1build4_arm64.deb 20-Jun-2025 22:24 178K
libcoq-ott_0.34+ds-1build7_amd64.deb 04-Mar-2026 17:35 178K
libcoq-ott_0.34+ds-1build7_amd64v3.deb 04-Mar-2026 17:35 178K
libcoq-ott_0.34+ds-1build7_arm64.deb 04-Mar-2026 17:35 178K
libcoq-ott_0.34+ds-1build8_amd64.deb 09-Jul-2026 06:23 178K
libcoq-ott_0.34+ds-1build8_amd64v3.deb 09-Jul-2026 06:25 178K
libcoq-ott_0.34+ds-1build8_arm64.deb 09-Jul-2026 06:28 178K
libcoq-ott_0.34+ds-5_amd64.deb 26-Aug-2026 02:59 183K
libcoq-ott_0.34+ds-5_amd64v3.deb 26-Aug-2026 02:59 183K
libcoq-ott_0.34+ds-5_arm64.deb 26-Aug-2026 12:40 183K
libcoq-ott_0.34+ds-5build1_amd64.deb 27-Aug-2026 21:33 183K
libcoq-ott_0.34+ds-5build1_amd64v3.deb 27-Aug-2026 21:33 183K
libcoq-ott_0.34+ds-5build2_arm64.deb 27-Aug-2026 23:20 183K
libcoq-ott_0.34+ds-5build3_amd64.deb 30-Aug-2026 16:14 183K
libcoq-ott_0.34+ds-5build3_amd64v3.deb 30-Aug-2026 16:14 183K
libcoq-ott_0.34+ds-5build3_arm64.deb 30-Aug-2026 16:14 183K
ott-tools_0.33+ds-2build3_amd64.deb 01-Apr-2024 15:51 1M
ott-tools_0.34+ds-1build3_amd64.deb 19-Feb-2025 06:25 2M
ott-tools_0.34+ds-1build4_amd64.deb 20-Jun-2025 22:23 2M
ott-tools_0.34+ds-1build4_arm64.deb 20-Jun-2025 22:24 2M
ott-tools_0.34+ds-1build7_amd64.deb 04-Mar-2026 17:35 2M
ott-tools_0.34+ds-1build7_amd64v3.deb 04-Mar-2026 17:35 2M
ott-tools_0.34+ds-1build7_arm64.deb 04-Mar-2026 17:35 2M
ott-tools_0.34+ds-1build8_amd64.deb 09-Jul-2026 06:23 2M
ott-tools_0.34+ds-1build8_amd64v3.deb 09-Jul-2026 06:25 2M
ott-tools_0.34+ds-1build8_arm64.deb 09-Jul-2026 06:28 2M
ott-tools_0.34+ds-5_amd64.deb 26-Aug-2026 02:59 2M
ott-tools_0.34+ds-5_amd64v3.deb 26-Aug-2026 02:59 2M
ott-tools_0.34+ds-5_arm64.deb 26-Aug-2026 12:40 2M
ott-tools_0.34+ds-5build1_amd64.deb 27-Aug-2026 21:33 2M
ott-tools_0.34+ds-5build1_amd64v3.deb 27-Aug-2026 21:33 2M
ott-tools_0.34+ds-5build2_arm64.deb 27-Aug-2026 23:20 2M
ott-tools_0.34+ds-5build3_amd64.deb 30-Aug-2026 16:14 2M
ott-tools_0.34+ds-5build3_amd64v3.deb 30-Aug-2026 16:14 2M
ott-tools_0.34+ds-5build3_arm64.deb 30-Aug-2026 16:14 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.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-1build4.debian.tar.xz 20-Jun-2025 22:22 7152
ott_0.34+ds-1build4.dsc 20-Jun-2025 22:22 2108
ott_0.34+ds-1build7.debian.tar.xz 04-Mar-2026 17:35 7252
ott_0.34+ds-1build7.dsc 04-Mar-2026 17:35 2108
ott_0.34+ds-1build8.debian.tar.xz 09-Jul-2026 00:25 7276
ott_0.34+ds-1build8.dsc 09-Jul-2026 00:26 2108
ott_0.34+ds-5.debian.tar.xz 29-Jul-2026 02:29 7128
ott_0.34+ds-5.dsc 29-Jul-2026 02:29 2128
ott_0.34+ds-5build1.debian.tar.xz 27-Aug-2026 01:19 7204
ott_0.34+ds-5build1.dsc 27-Aug-2026 01:19 2115
ott_0.34+ds-5build2.debian.tar.xz 27-Aug-2026 23:19 7216
ott_0.34+ds-5build2.dsc 27-Aug-2026 23:19 2115
ott_0.34+ds-5build3.debian.tar.xz 30-Aug-2026 15:53 7232
ott_0.34+ds-5build3.dsc 30-Aug-2026 15:53 2115
ott_0.34+ds.orig.tar.xz 05-Jan-2025 03:00 1M