Index of /ubuntu/pool/universe/o/ott/
../
libcoq-ott_0.33+ds-2build3_amd64.deb 01-Apr-2024 06:51 177K
libcoq-ott_0.34+ds-1build3_amd64.deb 18-Feb-2025 21:25 179K
libcoq-ott_0.34+ds-1build4_amd64.deb 20-Jun-2025 13:23 178K
libcoq-ott_0.34+ds-1build4_arm64.deb 20-Jun-2025 13:24 178K
libcoq-ott_0.34+ds-1build5_amd64.deb 05-Jan-2026 20:07 178K
libcoq-ott_0.34+ds-1build5_amd64v3.deb 05-Jan-2026 20:07 178K
libcoq-ott_0.34+ds-1build6_amd64.deb 29-Jan-2026 20:01 178K
libcoq-ott_0.34+ds-1build6_amd64v3.deb 29-Jan-2026 20:01 178K
libcoq-ott_0.34+ds-1build7_amd64.deb 04-Mar-2026 08:35 178K
libcoq-ott_0.34+ds-1build7_amd64v3.deb 04-Mar-2026 08:35 178K
libcoq-ott_0.34+ds-1build7_arm64.deb 04-Mar-2026 08:35 178K
libcoq-ott_0.34+ds-1build8_amd64.deb 08-Jul-2026 21:23 178K
libcoq-ott_0.34+ds-1build8_amd64v3.deb 08-Jul-2026 21:25 178K
libcoq-ott_0.34+ds-1build8_arm64.deb 08-Jul-2026 21:28 178K
libcoq-ott_0.34+ds-5_amd64.deb 25-Aug-2026 17:59 183K
libcoq-ott_0.34+ds-5_amd64v3.deb 25-Aug-2026 17:59 183K
libcoq-ott_0.34+ds-5_arm64.deb 26-Aug-2026 03:40 183K
libcoq-ott_0.34+ds-5build1_amd64.deb 27-Aug-2026 12:33 183K
libcoq-ott_0.34+ds-5build1_amd64v3.deb 27-Aug-2026 12:33 183K
libcoq-ott_0.34+ds-5build2_arm64.deb 27-Aug-2026 14:20 183K
libcoq-ott_0.34+ds-5build3_amd64.deb 30-Aug-2026 07:14 183K
libcoq-ott_0.34+ds-5build3_amd64v3.deb 30-Aug-2026 07:14 183K
libcoq-ott_0.34+ds-5build3_arm64.deb 30-Aug-2026 07:14 183K
libcoq-ott_0.34+ds-5build4_amd64.deb 10-Sep-2026 07:33 183K
libcoq-ott_0.34+ds-5build4_amd64v3.deb 10-Sep-2026 08:02 183K
libcoq-ott_0.34+ds-5build4_arm64.deb 10-Sep-2026 07:33 183K
libcoq-ott_0.34+ds-5build5_amd64.deb 18-Sep-2026 14:17 183K
libcoq-ott_0.34+ds-5build5_amd64v3.deb 18-Sep-2026 14:18 183K
libcoq-ott_0.34+ds-5build5_arm64.deb 18-Sep-2026 14:18 183K
ott-tools_0.33+ds-2build3_amd64.deb 01-Apr-2024 06:51 1M
ott-tools_0.34+ds-1build3_amd64.deb 18-Feb-2025 21:25 2M
ott-tools_0.34+ds-1build4_amd64.deb 20-Jun-2025 13:23 2M
ott-tools_0.34+ds-1build4_arm64.deb 20-Jun-2025 13:24 2M
ott-tools_0.34+ds-1build5_amd64.deb 05-Jan-2026 20:07 2M
ott-tools_0.34+ds-1build5_amd64v3.deb 05-Jan-2026 20:07 2M
ott-tools_0.34+ds-1build6_amd64.deb 29-Jan-2026 20:01 2M
ott-tools_0.34+ds-1build6_amd64v3.deb 29-Jan-2026 20:01 2M
ott-tools_0.34+ds-1build7_amd64.deb 04-Mar-2026 08:35 2M
ott-tools_0.34+ds-1build7_amd64v3.deb 04-Mar-2026 08:35 2M
ott-tools_0.34+ds-1build7_arm64.deb 04-Mar-2026 08:35 2M
ott-tools_0.34+ds-1build8_amd64.deb 08-Jul-2026 21:23 2M
ott-tools_0.34+ds-1build8_amd64v3.deb 08-Jul-2026 21:25 2M
ott-tools_0.34+ds-1build8_arm64.deb 08-Jul-2026 21:28 2M
ott-tools_0.34+ds-5_amd64.deb 25-Aug-2026 17:59 2M
ott-tools_0.34+ds-5_amd64v3.deb 25-Aug-2026 17:59 2M
ott-tools_0.34+ds-5_arm64.deb 26-Aug-2026 03:40 2M
ott-tools_0.34+ds-5build1_amd64.deb 27-Aug-2026 12:33 2M
ott-tools_0.34+ds-5build1_amd64v3.deb 27-Aug-2026 12:33 2M
ott-tools_0.34+ds-5build2_arm64.deb 27-Aug-2026 14:20 2M
ott-tools_0.34+ds-5build3_amd64.deb 30-Aug-2026 07:14 2M
ott-tools_0.34+ds-5build3_amd64v3.deb 30-Aug-2026 07:14 2M
ott-tools_0.34+ds-5build3_arm64.deb 30-Aug-2026 07:14 2M
ott-tools_0.34+ds-5build4_amd64.deb 10-Sep-2026 07:33 2M
ott-tools_0.34+ds-5build4_amd64v3.deb 10-Sep-2026 08:02 2M
ott-tools_0.34+ds-5build4_arm64.deb 10-Sep-2026 07:33 2M
ott-tools_0.34+ds-5build5_amd64.deb 18-Sep-2026 14:17 2M
ott-tools_0.34+ds-5build5_amd64v3.deb 18-Sep-2026 14:18 2M
ott-tools_0.34+ds-5build5_arm64.deb 18-Sep-2026 14:18 2M
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 1M
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-1build5.debian.tar.xz 05-Jan-2026 20:02 7172
ott_0.34+ds-1build5.dsc 05-Jan-2026 20:02 2108
ott_0.34+ds-1build6.debian.tar.xz 29-Jan-2026 19:54 7188
ott_0.34+ds-1build6.dsc 29-Jan-2026 19:54 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-5.debian.tar.xz 28-Jul-2026 17:29 7128
ott_0.34+ds-5.dsc 28-Jul-2026 17:29 2128
ott_0.34+ds-5build1.debian.tar.xz 26-Aug-2026 16:19 7204
ott_0.34+ds-5build1.dsc 26-Aug-2026 16:19 2115
ott_0.34+ds-5build2.debian.tar.xz 27-Aug-2026 14:19 7216
ott_0.34+ds-5build2.dsc 27-Aug-2026 14:19 2115
ott_0.34+ds-5build3.debian.tar.xz 30-Aug-2026 06:53 7232
ott_0.34+ds-5build3.dsc 30-Aug-2026 06:53 2115
ott_0.34+ds-5build4.debian.tar.xz 10-Sep-2026 07:03 7244
ott_0.34+ds-5build4.dsc 10-Sep-2026 07:03 2115
ott_0.34+ds-5build5.debian.tar.xz 18-Sep-2026 12:50 7288
ott_0.34+ds-5build5.dsc 18-Sep-2026 12:50 2115
ott_0.34+ds.orig.tar.xz 04-Jan-2025 18:00 1M