Index of /pureos/pool/main/o/ott/

../
libcoq-ott_0.32+ds-3+b1_amd64.deb                  30-Apr-2023 11:58    160K
libcoq-ott_0.32+ds-3+b1_arm64.deb                  30-Apr-2023 11:58    160K
ott-tools_0.32+ds-3+b1_amd64.deb                   30-Apr-2023 11:58      1M
ott-tools_0.32+ds-3+b1_arm64.deb                   30-Apr-2023 11:58      1M
ott_0.32+ds-3.debian.tar.xz                        29-Apr-2023 18:29    6956
ott_0.32+ds-3.dsc                                  29-Apr-2023 18:29    2109
ott_0.32+ds.orig.tar.xz                            29-Apr-2023 18:29      1M