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

../
libcoq-ott_0.33+ds-2build3_amd64.deb               12-Sep-2026 13:04    177K
libcoq-ott_0.34+ds-1build3_amd64.deb               12-Sep-2026 13:04    179K
libcoq-ott_0.34+ds-1build4_amd64.deb               12-Sep-2026 13:04    178K
libcoq-ott_0.34+ds-1build4_arm64.deb               12-Sep-2026 13:04    178K
libcoq-ott_0.34+ds-1build7_amd64.deb               12-Sep-2026 13:04    178K
libcoq-ott_0.34+ds-1build7_amd64v3.deb             12-Sep-2026 13:04    178K
libcoq-ott_0.34+ds-1build7_arm64.deb               12-Sep-2026 13:04    178K
libcoq-ott_0.34+ds-5build4_amd64.deb               12-Sep-2026 13:04    183K
libcoq-ott_0.34+ds-5build4_amd64v3.deb             12-Sep-2026 13:04    183K
libcoq-ott_0.34+ds-5build4_arm64.deb               12-Sep-2026 13:04    183K
ott-tools_0.33+ds-2build3_amd64.deb                12-Sep-2026 13:04      1M
ott-tools_0.34+ds-1build3_amd64.deb                12-Sep-2026 13:04      2M
ott-tools_0.34+ds-1build4_amd64.deb                12-Sep-2026 13:04      2M
ott-tools_0.34+ds-1build4_arm64.deb                12-Sep-2026 13:04      2M
ott-tools_0.34+ds-1build7_amd64.deb                12-Sep-2026 13:04      2M
ott-tools_0.34+ds-1build7_amd64v3.deb              12-Sep-2026 13:04      2M
ott-tools_0.34+ds-1build7_arm64.deb                12-Sep-2026 13:04      2M
ott-tools_0.34+ds-5build4_amd64.deb                12-Sep-2026 13:04      2M
ott-tools_0.34+ds-5build4_amd64v3.deb              12-Sep-2026 13:04      2M
ott-tools_0.34+ds-5build4_arm64.deb                12-Sep-2026 13:04      2M
ott_0.33+ds-2build3.debian.tar.xz                  12-Sep-2026 13:04    7032
ott_0.33+ds-2build3.dsc                            12-Sep-2026 13:04    2187
ott_0.33+ds.orig.tar.xz                            12-Sep-2026 13:04      1M
ott_0.34+ds-1build3.debian.tar.xz                  12-Sep-2026 13:04    7124
ott_0.34+ds-1build3.dsc                            12-Sep-2026 13:04    2108
ott_0.34+ds-1build4.debian.tar.xz                  12-Sep-2026 13:04    7152
ott_0.34+ds-1build4.dsc                            12-Sep-2026 13:04    2108
ott_0.34+ds-1build7.debian.tar.xz                  12-Sep-2026 13:04    7252
ott_0.34+ds-1build7.dsc                            12-Sep-2026 13:04    2108
ott_0.34+ds-5build4.debian.tar.xz                  12-Sep-2026 13:04    7244
ott_0.34+ds-5build4.dsc                            12-Sep-2026 13:04    2115
ott_0.34+ds.orig.tar.xz                            12-Sep-2026 13:04      1M