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

	Name	Last modified	Size
	Parent Directory		-
	ott_0.33+ds-4build4.dsc	2024-09-07 15:43	2.1K
	ott_0.34+ds-1build1.dsc	2025-02-02 04:54	2.1K
	ott_0.34+ds-1build2.dsc	2025-02-14 00:54	2.1K
	ott_0.34+ds-1.dsc	2025-01-04 18:00	2.1K
	ott_0.33+ds-2build3.dsc	2024-04-01 05:43	2.1K
	ott_0.34+ds-1.debian.tar.xz	2025-01-04 18:00	6.8K
	ott_0.34+ds-1build1.debian.tar.xz	2025-02-02 04:54	6.9K
	ott_0.33+ds-2build3.debian.tar.xz	2024-04-01 05:43	6.9K
	ott_0.34+ds-1build2.debian.tar.xz	2025-02-14 00:54	6.9K
	ott_0.33+ds-4build4.debian.tar.xz	2024-09-07 15:43	8.1K
	libcoq-ott_0.33+ds-2build3_amd64.deb	2024-04-01 06:51	177K
	libcoq-ott_0.34+ds-1_amd64.deb	2025-01-04 18:01	179K
	libcoq-ott_0.34+ds-1build1_amd64.deb	2025-02-02 04:54	179K
	libcoq-ott_0.34+ds-1build2_amd64.deb	2025-02-14 00:54	179K
	libcoq-ott_0.33+ds-4build4_amd64.deb	2024-09-07 15:44	186K
	ott_0.33+ds.orig.tar.xz	2023-06-13 05:30	1.1M
	ott_0.34+ds.orig.tar.xz	2025-01-04 18:00	1.1M
	ott-tools_0.33+ds-2build3_amd64.deb	2024-04-01 06:51	1.4M
	ott-tools_0.33+ds-4build4_amd64.deb	2024-09-07 15:44	1.6M
	ott-tools_0.34+ds-1_amd64.deb	2025-01-04 18:01	1.6M
	ott-tools_0.34+ds-1build1_amd64.deb	2025-02-02 04:54	1.6M
	ott-tools_0.34+ds-1build2_amd64.deb	2025-02-14 00:54	1.6M