Index of /ubuntu-ports/packages/pool/universe/o/ott/


../
libcoq-ott_0.33+ds-2build3_arm64.deb               01-Apr-2024 10:35    177K
libcoq-ott_0.33+ds-2build3_armhf.deb               01-Apr-2024 10:36    177K
libcoq-ott_0.33+ds-4build4_arm64.deb               07-Sep-2024 15:44    186K
libcoq-ott_0.33+ds-4build5_arm64.deb               20-Nov-2024 23:31    179K
ott-tools_0.33+ds-2build3_arm64.deb                01-Apr-2024 10:35      2M
ott-tools_0.33+ds-2build3_armhf.deb                01-Apr-2024 10:36      1M
ott-tools_0.33+ds-4build4_arm64.deb                07-Sep-2024 15:44      2M
ott-tools_0.33+ds-4build5_arm64.deb                20-Nov-2024 23:31      2M