Index of /mirror/kali.org/kali/pool/main/w/why3

	Name	Last modified	Size
	Parent Directory		-
	libwhy3-ocaml-dev_1.6.0-1+b1_amd64.deb	2023-09-22 08:56	11M
	libwhy3-ocaml-dev_1.6.0-1+b1_arm64.deb	2023-09-22 09:42	11M
	libwhy3-ocaml-dev_1.6.0-1+b1_armel.deb	2023-09-22 09:42	5.6M
	libwhy3-ocaml-dev_1.6.0-1+b1_armhf.deb	2023-09-22 08:56	10M
	libwhy3-ocaml-dev_1.6.0-1+b1_i386.deb	2023-09-22 08:56	10M
	libwhy3-ocaml-dev_1.6.0-1+b5_amd64.deb	2024-03-13 08:30	11M
	libwhy3-ocaml-dev_1.6.0-1+b5_arm64.deb	2024-03-13 03:59	11M
	libwhy3-ocaml-dev_1.6.0-1+b5_armel.deb	2024-03-25 18:51	5.6M
	libwhy3-ocaml-dev_1.6.0-1+b5_armhf.deb	2024-03-25 12:07	11M
	libwhy3-ocaml-dev_1.6.0-1+b5_i386.deb	2024-03-13 09:27	10M
	why3-doc-html_1.6.0-1_all.deb	2023-09-08 08:42	1.0M
	why3-doc-pdf_1.6.0-1_all.deb	2023-09-08 08:42	1.2M
	why3-examples_1.6.0-1_all.deb	2023-09-08 08:42	3.8M
	why3_1.6.0-1+b1_amd64.deb	2023-09-22 08:56	11M
	why3_1.6.0-1+b1_arm64.deb	2023-09-22 09:42	13M
	why3_1.6.0-1+b1_armel.deb	2023-09-22 09:42	21M
	why3_1.6.0-1+b1_armhf.deb	2023-09-22 08:56	10M
	why3_1.6.0-1+b1_i386.deb	2023-09-22 08:56	10M
	why3_1.6.0-1+b5_amd64.deb	2024-03-13 08:30	11M
	why3_1.6.0-1+b5_arm64.deb	2024-03-13 03:59	13M
	why3_1.6.0-1+b5_armel.deb	2024-03-25 18:51	21M
	why3_1.6.0-1+b5_armhf.deb	2024-03-25 12:07	10M
	why3_1.6.0-1+b5_i386.deb	2024-03-13 09:27	10M
	why3_1.6.0-1.debian.tar.xz	2023-09-08 07:20	18K
	why3_1.6.0-1.dsc	2023-09-08 07:20	2.4K
	why3_1.6.0.orig.tar.gz	2023-09-08 07:20	6.5M