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


../
libcoq-ott_0.32+ds-3build2_arm64.deb               16-Feb-2023 19:44    181K
libcoq-ott_0.32+ds-3build2_armhf.deb               16-Feb-2023 19:44    181K
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.32+ds-3build2_arm64.deb                16-Feb-2023 19:44      2M
ott-tools_0.32+ds-3build2_armhf.deb                16-Feb-2023 19:44      1M
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