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

	Name	Last modified	Size
	Parent Directory		-
	ott_0.32+ds-2.debian.tar.xz	11-Jul-2022 00:39	6.8K
	ott_0.32+ds-2.dsc	11-Jul-2022 00:39	2.1K
	ott_0.32+ds.orig.tar.xz	11-Jul-2022 00:39	1.1M
	libcoq-ott_0.32+ds-2_amd64.deb	12-Jul-2022 03:29	180K
	ott-tools_0.32+ds-2_amd64.deb	12-Jul-2022 03:29	1.4M
	ott_0.32+ds-2build1.debian.tar.xz	26-Nov-2022 22:23	6.8K
	ott_0.32+ds-2build1.dsc	26-Nov-2022 22:23	2.1K
	libcoq-ott_0.32+ds-2build1_amd64.deb	26-Nov-2022 22:23	181K
	ott-tools_0.32+ds-2build1_amd64.deb	26-Nov-2022 22:23	1.4M