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

	Name	Last modified	Size
	Parent Directory		-
	libcoq-ott_0.33+ds-2build3_arm64.deb	2024-04-01 10:35	177K
	libcoq-ott_0.33+ds-2build3_armhf.deb	2024-04-01 10:36	177K
	libcoq-ott_0.33+ds-2build3_ppc64el.deb	2024-04-01 20:04	177K
	libcoq-ott_0.33+ds-2build3_riscv64.deb	2024-04-01 10:38	177K
	libcoq-ott_0.33+ds-2build3_s390x.deb	2024-04-01 15:39	178K
	libcoq-ott_0.33+ds-4build4_arm64.deb	2024-09-07 15:44	186K
	libcoq-ott_0.33+ds-4build4_ppc64el.deb	2024-09-07 15:44	186K
	libcoq-ott_0.33+ds-4build4_riscv64.deb	2024-09-07 16:34	186K
	libcoq-ott_0.33+ds-4build4_s390x.deb	2024-09-07 15:44	186K
	libcoq-ott_0.33+ds-4build5_arm64.deb	2024-11-20 23:31	179K
	libcoq-ott_0.33+ds-4build5_ppc64el.deb	2024-11-20 23:31	179K
	libcoq-ott_0.33+ds-4build5_riscv64.deb	2024-11-20 23:31	179K
	libcoq-ott_0.33+ds-4build5_s390x.deb	2024-11-20 23:32	179K
	ott-tools_0.33+ds-2build3_arm64.deb	2024-04-01 10:35	1.7M
	ott-tools_0.33+ds-2build3_armhf.deb	2024-04-01 10:36	1.4M
	ott-tools_0.33+ds-2build3_ppc64el.deb	2024-04-01 20:04	1.6M
	ott-tools_0.33+ds-2build3_riscv64.deb	2024-04-01 10:38	1.5M
	ott-tools_0.33+ds-2build3_s390x.deb	2024-04-01 15:39	1.5M
	ott-tools_0.33+ds-4build4_arm64.deb	2024-09-07 15:44	1.8M
	ott-tools_0.33+ds-4build4_ppc64el.deb	2024-09-07 15:44	1.7M
	ott-tools_0.33+ds-4build4_riscv64.deb	2024-09-07 16:34	1.7M
	ott-tools_0.33+ds-4build4_s390x.deb	2024-09-07 15:44	1.7M
	ott-tools_0.33+ds-4build5_arm64.deb	2024-11-20 23:31	1.8M
	ott-tools_0.33+ds-4build5_ppc64el.deb	2024-11-20 23:31	1.7M
	ott-tools_0.33+ds-4build5_riscv64.deb	2024-11-20 23:31	1.7M
	ott-tools_0.33+ds-4build5_s390x.deb	2024-11-20 23:32	1.7M
	ott_0.33+ds-2build3.debian.tar.xz	2024-04-01 05:43	6.9K
	ott_0.33+ds-2build3.dsc	2024-04-01 05:43	2.1K
	ott_0.33+ds-4build4.debian.tar.xz	2024-09-07 15:43	8.1K
	ott_0.33+ds-4build4.dsc	2024-09-07 15:43	2.1K
	ott_0.33+ds-4build5.debian.tar.xz	2024-11-20 23:31	8.2K
	ott_0.33+ds-4build5.dsc	2024-11-20 23:31	2.1K
	ott_0.33+ds.orig.tar.xz	2023-06-13 05:30	1.1M