Index of /mirror/marvin/0/ubuntu_arm64/pool/main/w/why3

	Name	Last modified	Size	Description
	Parent Directory		-
	libwhy3-ocaml-dev_0.88.3-1ubuntu4_arm64.deb	2020-04-28 16:47	2.0M
	libwhy3-ocaml-dev_1.2.1-6_arm64.deb	2021-03-16 17:21	8.4M
	why3-coq_0.88.3-1ubuntu4_arm64.deb	2020-04-28 16:42	2.5M
	why3-coq_1.2.1-6_arm64.deb	2021-03-16 17:27	565K
	why3-doc-html_0.88.3-1ubuntu4_all.deb	2020-04-28 16:05	355K
	why3-doc-html_1.2.1-6_all.deb	2021-03-16 13:39	290K
	why3-doc-pdf_0.88.3-1ubuntu4_all.deb	2020-04-28 16:14	1.2M
	why3-doc-pdf_1.2.1-6_all.deb	2021-03-16 13:41	1.2M
	why3-examples_0.88.3-1ubuntu4_all.deb	2020-04-28 16:06	1.5M
	why3-examples_1.2.1-6_all.deb	2021-03-16 13:41	2.3M
	why3_0.88.3-1ubuntu4_arm64.deb	2020-04-28 16:50	26M
	why3_1.2.1-6_arm64.deb	2021-03-16 17:22	38M