Index of /ubuntu/pool/universe/o/ott/
../
libcoq-ott_0.33+ds-2build3_amd64.deb 01-Apr-2024 07:51 177K
libcoq-ott_0.34+ds-1build3_amd64.deb 18-Feb-2025 22:25 179K
libcoq-ott_0.34+ds-1build4_amd64.deb 20-Jun-2025 14:23 178K
libcoq-ott_0.34+ds-1build4_arm64.deb 20-Jun-2025 14:24 178K
libcoq-ott_0.34+ds-1build7_amd64.deb 04-Mar-2026 09:35 178K
libcoq-ott_0.34+ds-1build7_amd64v3.deb 04-Mar-2026 09:35 178K
libcoq-ott_0.34+ds-1build7_arm64.deb 04-Mar-2026 09:35 178K
libcoq-ott_0.34+ds-1build8_amd64.deb 08-Jul-2026 22:23 178K
libcoq-ott_0.34+ds-1build8_amd64v3.deb 08-Jul-2026 22:25 178K
libcoq-ott_0.34+ds-1build8_arm64.deb 08-Jul-2026 22:28 178K
libcoq-ott_0.34+ds-5_amd64.deb 25-Aug-2026 18:59 183K
libcoq-ott_0.34+ds-5_amd64v3.deb 25-Aug-2026 18:59 183K
libcoq-ott_0.34+ds-5_arm64.deb 26-Aug-2026 04:40 183K
libcoq-ott_0.34+ds-5build1_amd64.deb 27-Aug-2026 13:33 183K
libcoq-ott_0.34+ds-5build1_amd64v3.deb 27-Aug-2026 13:33 183K
libcoq-ott_0.34+ds-5build2_arm64.deb 27-Aug-2026 15:20 183K
libcoq-ott_0.34+ds-5build3_amd64.deb 30-Aug-2026 08:14 183K
libcoq-ott_0.34+ds-5build3_amd64v3.deb 30-Aug-2026 08:14 183K
libcoq-ott_0.34+ds-5build3_arm64.deb 30-Aug-2026 08:14 183K
libcoq-ott_0.34+ds-5build4_amd64.deb 10-Sep-2026 08:33 183K
libcoq-ott_0.34+ds-5build4_amd64v3.deb 10-Sep-2026 09:02 183K
libcoq-ott_0.34+ds-5build4_arm64.deb 10-Sep-2026 08:33 183K
libcoq-ott_0.34+ds-5build5_amd64.deb 18-Sep-2026 15:17 183K
libcoq-ott_0.34+ds-5build5_amd64v3.deb 18-Sep-2026 15:18 183K
libcoq-ott_0.34+ds-5build5_arm64.deb 18-Sep-2026 15:18 183K
ott-tools_0.33+ds-2build3_amd64.deb 01-Apr-2024 07:51 1M
ott-tools_0.34+ds-1build3_amd64.deb 18-Feb-2025 22:25 2M
ott-tools_0.34+ds-1build4_amd64.deb 20-Jun-2025 14:23 2M
ott-tools_0.34+ds-1build4_arm64.deb 20-Jun-2025 14:24 2M
ott-tools_0.34+ds-1build7_amd64.deb 04-Mar-2026 09:35 2M
ott-tools_0.34+ds-1build7_amd64v3.deb 04-Mar-2026 09:35 2M
ott-tools_0.34+ds-1build7_arm64.deb 04-Mar-2026 09:35 2M
ott-tools_0.34+ds-1build8_amd64.deb 08-Jul-2026 22:23 2M
ott-tools_0.34+ds-1build8_amd64v3.deb 08-Jul-2026 22:25 2M
ott-tools_0.34+ds-1build8_arm64.deb 08-Jul-2026 22:28 2M
ott-tools_0.34+ds-5_amd64.deb 25-Aug-2026 18:59 2M
ott-tools_0.34+ds-5_amd64v3.deb 25-Aug-2026 18:59 2M
ott-tools_0.34+ds-5_arm64.deb 26-Aug-2026 04:40 2M
ott-tools_0.34+ds-5build1_amd64.deb 27-Aug-2026 13:33 2M
ott-tools_0.34+ds-5build1_amd64v3.deb 27-Aug-2026 13:33 2M
ott-tools_0.34+ds-5build2_arm64.deb 27-Aug-2026 15:20 2M
ott-tools_0.34+ds-5build3_amd64.deb 30-Aug-2026 08:14 2M
ott-tools_0.34+ds-5build3_amd64v3.deb 30-Aug-2026 08:14 2M
ott-tools_0.34+ds-5build3_arm64.deb 30-Aug-2026 08:14 2M
ott-tools_0.34+ds-5build4_amd64.deb 10-Sep-2026 08:33 2M
ott-tools_0.34+ds-5build4_amd64v3.deb 10-Sep-2026 09:02 2M
ott-tools_0.34+ds-5build4_arm64.deb 10-Sep-2026 08:33 2M
ott-tools_0.34+ds-5build5_amd64.deb 18-Sep-2026 15:17 2M
ott-tools_0.34+ds-5build5_amd64v3.deb 18-Sep-2026 15:18 2M
ott-tools_0.34+ds-5build5_arm64.deb 18-Sep-2026 15:18 2M
ott_0.33+ds-2build3.debian.tar.xz 01-Apr-2024 06:43 7032
ott_0.33+ds-2build3.dsc 01-Apr-2024 06:43 2187
ott_0.33+ds.orig.tar.xz 13-Jun-2023 06:30 1M
ott_0.34+ds-1build3.debian.tar.xz 18-Feb-2025 22:25 7124
ott_0.34+ds-1build3.dsc 18-Feb-2025 22:25 2108
ott_0.34+ds-1build4.debian.tar.xz 20-Jun-2025 14:22 7152
ott_0.34+ds-1build4.dsc 20-Jun-2025 14:22 2108
ott_0.34+ds-1build7.debian.tar.xz 04-Mar-2026 09:35 7252
ott_0.34+ds-1build7.dsc 04-Mar-2026 09:35 2108
ott_0.34+ds-1build8.debian.tar.xz 08-Jul-2026 16:25 7276
ott_0.34+ds-1build8.dsc 08-Jul-2026 16:26 2108
ott_0.34+ds-5.debian.tar.xz 28-Jul-2026 18:29 7128
ott_0.34+ds-5.dsc 28-Jul-2026 18:29 2128
ott_0.34+ds-5build1.debian.tar.xz 26-Aug-2026 17:19 7204
ott_0.34+ds-5build1.dsc 26-Aug-2026 17:19 2115
ott_0.34+ds-5build2.debian.tar.xz 27-Aug-2026 15:19 7216
ott_0.34+ds-5build2.dsc 27-Aug-2026 15:19 2115
ott_0.34+ds-5build3.debian.tar.xz 30-Aug-2026 07:53 7232
ott_0.34+ds-5build3.dsc 30-Aug-2026 07:53 2115
ott_0.34+ds-5build4.debian.tar.xz 10-Sep-2026 08:03 7244
ott_0.34+ds-5build4.dsc 10-Sep-2026 08:03 2115
ott_0.34+ds-5build5.debian.tar.xz 18-Sep-2026 13:50 7288
ott_0.34+ds-5build5.dsc 18-Sep-2026 13:50 2115
ott_0.34+ds.orig.tar.xz 04-Jan-2025 19:00 1M