Index of /ubuntu/pool/universe/o/ott/
../
libcoq-ott_0.32+ds-2_amd64.deb 12-Jul-2022 02:29 184072
libcoq-ott_0.32+ds-2build2_amd64.deb 03-Dec-2022 19:54 185548
ott-tools_0.32+ds-2_amd64.deb 12-Jul-2022 02:29 1463170
ott-tools_0.32+ds-2build2_amd64.deb 03-Dec-2022 19:54 1463234
ott_0.32+ds-2.debian.tar.xz 10-Jul-2022 23:39 6916
ott_0.32+ds-2.dsc 10-Jul-2022 23:39 2104
ott_0.32+ds-2build2.debian.tar.xz 03-Dec-2022 19:54 7008
ott_0.32+ds-2build2.dsc 03-Dec-2022 19:54 2103
ott_0.32+ds.orig.tar.xz 10-Jul-2022 23:39 1140176