Index of /ubuntu/pool/universe/o/ott/

../
libcoq-ott_0.33+ds-2build3_amd64.deb               01-Apr-2024 13:51              181698
libcoq-ott_0.34+ds-1build3_amd64.deb               19-Feb-2025 04:25              183442
libcoq-ott_0.34+ds-1build4_amd64.deb               20-Jun-2025 20:23              182544
libcoq-ott_0.34+ds-1build4_arm64.deb               20-Jun-2025 20:24              182574
libcoq-ott_0.34+ds-1build7_amd64.deb               04-Mar-2026 15:35              182540
libcoq-ott_0.34+ds-1build7_amd64v3.deb             04-Mar-2026 15:35              182540
libcoq-ott_0.34+ds-1build7_arm64.deb               04-Mar-2026 15:35              182540
libcoq-ott_0.34+ds-5build3_amd64.deb               30-Aug-2026 14:14              187066
libcoq-ott_0.34+ds-5build3_amd64v3.deb             30-Aug-2026 14:14              187018
libcoq-ott_0.34+ds-5build3_arm64.deb               30-Aug-2026 14:14              187588
libcoq-ott_0.34+ds-5build4_amd64.deb               10-Sep-2026 14:33              187078
libcoq-ott_0.34+ds-5build4_amd64v3.deb             10-Sep-2026 15:02              187076
libcoq-ott_0.34+ds-5build4_arm64.deb               10-Sep-2026 14:33              186994
ott-tools_0.33+ds-2build3_amd64.deb                01-Apr-2024 13:51             1501530
ott-tools_0.34+ds-1build3_amd64.deb                19-Feb-2025 04:25             1691858
ott-tools_0.34+ds-1build4_amd64.deb                20-Jun-2025 20:23             1664914
ott-tools_0.34+ds-1build4_arm64.deb                20-Jun-2025 20:24             1909184
ott-tools_0.34+ds-1build7_amd64.deb                04-Mar-2026 15:35             1684034
ott-tools_0.34+ds-1build7_amd64v3.deb              04-Mar-2026 15:35             1683170
ott-tools_0.34+ds-1build7_arm64.deb                04-Mar-2026 15:35             1924394
ott-tools_0.34+ds-5build3_amd64.deb                30-Aug-2026 14:14             1684492
ott-tools_0.34+ds-5build3_amd64v3.deb              30-Aug-2026 14:14             1683836
ott-tools_0.34+ds-5build3_arm64.deb                30-Aug-2026 14:14             1925730
ott-tools_0.34+ds-5build4_amd64.deb                10-Sep-2026 14:33             1684328
ott-tools_0.34+ds-5build4_amd64v3.deb              10-Sep-2026 15:02             1683730
ott-tools_0.34+ds-5build4_arm64.deb                10-Sep-2026 14:33             1925706
ott_0.33+ds-2build3.debian.tar.xz                  01-Apr-2024 12:43                7032
ott_0.33+ds-2build3.dsc                            01-Apr-2024 12:43                2187
ott_0.33+ds.orig.tar.xz                            13-Jun-2023 12:30             1140368
ott_0.34+ds-1build3.debian.tar.xz                  19-Feb-2025 04:25                7124
ott_0.34+ds-1build3.dsc                            19-Feb-2025 04:25                2108
ott_0.34+ds-1build4.debian.tar.xz                  20-Jun-2025 20:22                7152
ott_0.34+ds-1build4.dsc                            20-Jun-2025 20:22                2108
ott_0.34+ds-1build7.debian.tar.xz                  04-Mar-2026 15:35                7252
ott_0.34+ds-1build7.dsc                            04-Mar-2026 15:35                2108
ott_0.34+ds-5build3.debian.tar.xz                  30-Aug-2026 13:53                7232
ott_0.34+ds-5build3.dsc                            30-Aug-2026 13:53                2115
ott_0.34+ds-5build4.debian.tar.xz                  10-Sep-2026 14:03                7244
ott_0.34+ds-5build4.dsc                            10-Sep-2026 14:03                2115
ott_0.34+ds.orig.tar.xz                            05-Jan-2025 01:00             1142148