Index of /mirror/release/1/ubuntu_arm64/pool/main/w/why3

	Name	Last modified	Size	Description
	Parent Directory		-
	libwhy3-ocaml-dev_1.2.1-6_arm64.deb	2021-03-16 17:21	8.4M
	why3-coq_1.2.1-6_arm64.deb	2021-03-16 17:27	565K
	why3-doc-html_1.2.1-6_all.deb	2021-03-16 13:39	290K
	why3-doc-pdf_1.2.1-6_all.deb	2021-03-16 13:41	1.2M
	why3-examples_1.2.1-6_all.deb	2021-03-16 13:41	2.3M
	why3_1.2.1-6_arm64.deb	2021-03-16 17:22	38M