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

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