Index of /pub/Linux/kali/pool/main/w/why3

	Name	Last modified	Size	Description
	Parent Directory		-
	libwhy3-ocaml-dev_1.8.2-3+b1_amd64.deb	2026-06-19 15:03	11M
	libwhy3-ocaml-dev_1.8.2-3+b1_arm64.deb	2026-06-19 15:29	12M
	libwhy3-ocaml-dev_1.8.2-3+b1_armhf.deb	2026-06-19 16:31	5.9M
	libwhy3-ocaml-dev_1.8.2-3+b1_i386.deb	2026-06-19 16:36	5.9M
	libwhy3-ocaml-dev_1.8.2-3_amd64.deb	2026-01-06 19:14	11M
	libwhy3-ocaml-dev_1.8.2-3_arm64.deb	2026-01-06 19:14	12M
	libwhy3-ocaml-dev_1.8.2-3_armhf.deb	2026-01-06 19:19	5.9M
	libwhy3-ocaml-dev_1.8.2-3_i386.deb	2026-01-06 19:24	5.9M
	why3-doc-html_1.8.2-3_all.deb	2026-01-06 19:24	1.2M
	why3-doc-pdf_1.8.2-3_all.deb	2026-01-06 19:24	1.3M
	why3-examples_1.8.2-3_all.deb	2026-01-06 19:24	4.1M
	why3_1.8.2-3+b1_amd64.deb	2026-06-19 15:03	12M
	why3_1.8.2-3+b1_arm64.deb	2026-06-19 15:29	14M
	why3_1.8.2-3+b1_armhf.deb	2026-06-19 16:31	21M
	why3_1.8.2-3+b1_i386.deb	2026-06-19 16:36	21M
	why3_1.8.2-3.debian.tar.xz	2026-01-06 18:18	19K
	why3_1.8.2-3.dsc	2026-01-06 18:18	2.6K
	why3_1.8.2-3_amd64.deb	2026-01-06 19:14	12M
	why3_1.8.2-3_arm64.deb	2026-01-06 19:14	13M
	why3_1.8.2-3_armhf.deb	2026-01-06 19:19	21M
	why3_1.8.2-3_i386.deb	2026-01-06 19:24	21M
	why3_1.8.2.orig.tar.bz2	2025-09-24 05:53	6.3M