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

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] libcoq-ott_0.32+ds-2_amd64.deb 2022-07-12 04:29 180K [   ] libcoq-ott_0.32+ds-2build2_amd64.deb 2022-12-03 20:54 181K [   ] ott-tools_0.32+ds-2_amd64.deb 2022-07-12 04:29 1.4M [   ] ott-tools_0.32+ds-2build2_amd64.deb 2022-12-03 20:54 1.4M [   ] ott_0.32+ds-2.debian.tar.xz 2022-07-11 01:39 6.8K [   ] ott_0.32+ds-2.dsc 2022-07-11 01:39 2.1K [   ] ott_0.32+ds-2build2.debian.tar.xz 2022-12-03 20:54 6.8K [   ] ott_0.32+ds-2build2.dsc 2022-12-03 20:54 2.1K [   ] ott_0.32+ds-3.debian.tar.xz 2023-01-25 19:16 6.8K [   ] ott_0.32+ds-3.dsc 2023-01-25 19:16 2.1K [   ] ott_0.32+ds.orig.tar.xz 2022-07-11 01:39 1.1M
Apache/2.4.41 (Ubuntu) Server at ftp.de.netbsd.org Port 80