| Parent directory/ | - | - |
| ott_0.34+ds-1build7.dsc | 2108 | 2026-Mar-04 17:35 |
| ott_0.34+ds-1build4.dsc | 2108 | 2025-Jun-20 22:22 |
| ott_0.34+ds-1build3.dsc | 2108 | 2025-Feb-19 06:25 |
| ott_0.34+ds-5build5.dsc | 2115 | 2026-Sep-18 21:50 |
| ott_0.33+ds-2build3.dsc | 2187 | 2024-Apr-01 14:43 |
| ott_0.33+ds-2build3.debian.tar.xz | 7032 | 2024-Apr-01 14:43 |
| ott_0.34+ds-1build3.debian.tar.xz | 7124 | 2025-Feb-19 06:25 |
| ott_0.34+ds-1build4.debian.tar.xz | 7152 | 2025-Jun-20 22:22 |
| ott_0.34+ds-1build7.debian.tar.xz | 7252 | 2026-Mar-04 17:35 |
| ott_0.34+ds-5build5.debian.tar.xz | 7288 | 2026-Sep-18 21:50 |
| libcoq-ott_0.33+ds-2build3_arm64.deb | 181704 | 2024-Apr-01 19:35 |
| libcoq-ott_0.33+ds-2build3_ppc64el.deb | 181718 | 2024-Apr-02 05:04 |
| libcoq-ott_0.33+ds-2build3_armhf.deb | 181746 | 2024-Apr-01 19:36 |
| libcoq-ott_0.33+ds-2build3_riscv64.deb | 181746 | 2024-Apr-01 19:38 |
| libcoq-ott_0.33+ds-2build3_s390x.deb | 181762 | 2024-Apr-02 00:39 |
| libcoq-ott_0.34+ds-1build4_s390x.deb | 182538 | 2025-Jun-20 22:24 |
| libcoq-ott_0.34+ds-1build7_arm64.deb | 182540 | 2026-Mar-04 17:35 |
| libcoq-ott_0.34+ds-1build7_s390x.deb | 182542 | 2026-Mar-04 17:35 |
| libcoq-ott_0.34+ds-1build7_riscv64.deb | 182550 | 2026-Mar-04 17:35 |
| libcoq-ott_0.34+ds-1build4_riscv64.deb | 182562 | 2025-Jun-21 00:15 |
| libcoq-ott_0.34+ds-1build7_ppc64el.deb | 182562 | 2026-Mar-04 17:35 |
| libcoq-ott_0.34+ds-1build4_arm64.deb | 182574 | 2025-Jun-20 22:24 |
| libcoq-ott_0.34+ds-1build4_ppc64el.deb | 182594 | 2025-Jun-20 22:24 |
| libcoq-ott_0.34+ds-1build3_arm64.deb | 183390 | 2025-Feb-19 06:25 |
| libcoq-ott_0.34+ds-1build3_s390x.deb | 183428 | 2025-Feb-19 09:24 |
| libcoq-ott_0.34+ds-1build3_riscv64.deb | 183428 | 2025-Feb-19 09:23 |
| libcoq-ott_0.34+ds-1build3_ppc64el.deb | 183450 | 2025-Feb-19 06:26 |
| libcoq-ott_0.34+ds-5build5_s390x.deb | 187056 | 2026-Sep-18 23:19 |
| libcoq-ott_0.34+ds-5build5_arm64.deb | 187674 | 2026-Sep-18 23:18 |
| libcoq-ott_0.34+ds-5build5_riscv64.deb | 187684 | 2026-Sep-19 00:16 |
| libcoq-ott_0.34+ds-5build5_ppc64el.deb | 187700 | 2026-Sep-18 23:19 |
| ott_0.33+ds.orig.tar.xz | 1140368 | 2023-Jun-13 14:30 |
| ott_0.34+ds.orig.tar.xz | 1142148 | 2025-Jan-05 03:00 |
| ott-tools_0.33+ds-2build3_armhf.deb | 1502402 | 2024-Apr-01 19:36 |
| ott-tools_0.33+ds-2build3_riscv64.deb | 1584146 | 2024-Apr-01 19:38 |
| ott-tools_0.33+ds-2build3_s390x.deb | 1586364 | 2024-Apr-02 00:39 |
| ott-tools_0.33+ds-2build3_ppc64el.deb | 1627518 | 2024-Apr-02 05:04 |
| ott-tools_0.34+ds-1build4_s390x.deb | 1751014 | 2025-Jun-20 22:24 |
| ott-tools_0.34+ds-1build3_s390x.deb | 1757152 | 2025-Feb-19 09:24 |
| ott-tools_0.34+ds-1build4_ppc64el.deb | 1766606 | 2025-Jun-20 22:24 |
| ott-tools_0.34+ds-1build4_riscv64.deb | 1768180 | 2025-Jun-21 00:15 |
| ott-tools_0.34+ds-1build3_ppc64el.deb | 1769378 | 2025-Feb-19 06:26 |
| ott-tools_0.34+ds-1build3_riscv64.deb | 1769588 | 2025-Feb-19 09:23 |
| ott-tools_0.33+ds-2build3_arm64.deb | 1770576 | 2024-Apr-01 19:35 |
| ott-tools_0.34+ds-1build7_ppc64el.deb | 1787216 | 2026-Mar-04 17:35 |
| ott-tools_0.34+ds-5build5_ppc64el.deb | 1787696 | 2026-Sep-18 23:19 |
| ott-tools_0.34+ds-1build7_s390x.deb | 1796910 | 2026-Mar-04 17:35 |
| ott-tools_0.34+ds-5build5_s390x.deb | 1798226 | 2026-Sep-18 23:19 |
| ott-tools_0.34+ds-5build5_riscv64.deb | 1809380 | 2026-Sep-19 00:16 |
| ott-tools_0.34+ds-1build7_riscv64.deb | 1809664 | 2026-Mar-04 17:35 |
| ott-tools_0.34+ds-1build4_arm64.deb | 1909184 | 2025-Jun-20 22:24 |
| ott-tools_0.34+ds-1build3_arm64.deb | 1911174 | 2025-Feb-19 06:25 |
| ott-tools_0.34+ds-1build7_arm64.deb | 1924394 | 2026-Mar-04 17:35 |
| ott-tools_0.34+ds-5build5_arm64.deb | 1926052 | 2026-Sep-18 23:18 |