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

../
libcoq-ott_0.33+ds-2build3_arm64.deb               11-Apr-2024 00:15              181704
ott-tools_0.33+ds-2build3_arm64.deb                11-Apr-2024 00:15             1770576
ott_0.33+ds-2build3.debian.tar.xz                  11-Apr-2024 00:15                7032
ott_0.33+ds-2build3.dsc                            11-Apr-2024 00:15                2187
ott_0.33+ds.orig.tar.xz                            16-Dec-2023 01:36             1140368