Index of /debian/pool/main/w/why3

	Name	Last modified	Size
	Parent Directory		-
	libwhy3-ocaml-dev_1.2.0-1_amd64.deb	16-Feb-2019 01:40	7.5M
	libwhy3-ocaml-dev_1.2.0-1_i386.deb	15-Feb-2019 23:18	7.2M
	libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb	23-Jan-2021 18:41	9.2M
	libwhy3-ocaml-dev_1.3.3-1+b4_i386.deb	23-Jan-2021 18:56	8.9M
	libwhy3-ocaml-dev_1.5.1-1+b2_amd64.deb	03-May-2023 23:14	10M
	libwhy3-ocaml-dev_1.5.1-1+b2_i386.deb	03-May-2023 23:57	9.7M
	libwhy3-ocaml-dev_1.8.0-2_amd64.deb	02-Feb-2025 08:26	12M
	libwhy3-ocaml-dev_1.8.0-2_i386.deb	02-Feb-2025 08:26	7.3M
	libwhy3-ocaml-dev_1.8.0-2_riscv64.deb	02-Feb-2025 12:19	14M
	libwhy3-ocaml-dev_1.8.0-3_amd64.deb	20-Apr-2025 19:36	12M
	libwhy3-ocaml-dev_1.8.0-3_i386.deb	20-Apr-2025 19:41	7.3M
	libwhy3-ocaml-dev_1.8.0-3_riscv64.deb	20-Apr-2025 21:42	14M
	why3-coq_1.2.0-1_amd64.deb	16-Feb-2019 01:40	583K
	why3-coq_1.2.0-1_i386.deb	15-Feb-2019 23:18	588K
	why3-coq_1.3.3-1+b4_amd64.deb	23-Jan-2021 18:41	739K
	why3-coq_1.3.3-1+b4_i386.deb	23-Jan-2021 18:56	739K
	why3-doc-html_1.2.0-1_all.deb	15-Feb-2019 22:22	354K
	why3-doc-html_1.3.3-1_all.deb	23-Sep-2020 22:55	938K
	why3-doc-html_1.5.1-1_all.deb	20-Oct-2022 04:29	898K
	why3-doc-html_1.8.0-3_all.deb	20-Apr-2025 19:36	1.2M
	why3-doc-pdf_1.2.0-1_all.deb	15-Feb-2019 22:22	1.2M
	why3-doc-pdf_1.3.3-1_all.deb	23-Sep-2020 22:55	1.0M
	why3-doc-pdf_1.5.1-1_all.deb	20-Oct-2022 04:29	1.2M
	why3-doc-pdf_1.8.0-3_all.deb	20-Apr-2025 19:36	1.3M
	why3-examples_1.2.0-1_all.deb	15-Feb-2019 22:22	2.4M
	why3-examples_1.3.3-1_all.deb	23-Sep-2020 22:55	3.3M
	why3-examples_1.5.1-1_all.deb	20-Oct-2022 04:29	3.7M
	why3-examples_1.8.0-2_all.deb	02-Feb-2025 08:21	4.1M
	why3-examples_1.8.0-3_all.deb	20-Apr-2025 19:36	4.1M
	why3_1.2.0-1_amd64.deb	16-Feb-2019 01:40	29M
	why3_1.2.0-1_i386.deb	15-Feb-2019 23:18	19M
	why3_1.3.3-1+b4_amd64.deb	23-Jan-2021 18:41	38M
	why3_1.3.3-1+b4_i386.deb	23-Jan-2021 18:56	35M
	why3_1.5.1-1+b2_amd64.deb	03-May-2023 23:14	9.5M
	why3_1.5.1-1+b2_i386.deb	03-May-2023 23:57	8.9M
	why3_1.8.0-2_amd64.deb	02-Feb-2025 08:26	12M
	why3_1.8.0-2_i386.deb	02-Feb-2025 08:26	21M
	why3_1.8.0-2_riscv64.deb	02-Feb-2025 12:19	12M
	why3_1.8.0-3_amd64.deb	20-Apr-2025 19:36	12M
	why3_1.8.0-3_i386.deb	20-Apr-2025 19:41	21M
	why3_1.8.0-3_riscv64.deb	20-Apr-2025 21:42	12M