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

	Name	Last modified	Size
	Parent Directory		-
	libwhy3-ocaml-dev_1.8.0-2+b1_1.8.1-1+b1_amd64.debdelta-too-big	2025-09-16 15:25	0
	libwhy3-ocaml-dev_1.8.0-2+b1_1.8.1-1+b1_i386.debdelta-too-big	2025-09-16 15:09	0
	libwhy3-ocaml-dev_1.8.0-2+b1_1.8.1-1_amd64.debdelta-too-big	2025-09-13 23:51	0
	libwhy3-ocaml-dev_1.8.0-2+b1_1.8.1-1_i386.debdelta-too-big	2025-09-13 20:05	0
	libwhy3-ocaml-dev_1.8.1-1+b1_1.8.2-1_amd64.debdelta-too-big	2025-09-24 10:05	0
	libwhy3-ocaml-dev_1.8.1-1+b1_1.8.2-1_i386.debdelta-too-big	2025-09-24 09:47	0
	libwhy3-ocaml-dev_1.8.1-1_1.8.1-1+b1_amd64.debdelta	2025-09-16 09:26	5.7M
	libwhy3-ocaml-dev_1.8.1-1_1.8.1-1+b1_i386.debdelta-too-big	2025-09-16 09:14	0
	why3-doc-html_1.8.1-1_1.8.2-1_all.debdelta	2025-09-24 09:35	7.9K
	why3-doc-pdf_1.8.1-1_1.8.2-1_all.debdelta	2025-09-24 09:35	304K
	why3-examples_1.8.0-2_1.8.1-1_all.debdelta	2025-09-13 17:09	67K
	why3-examples_1.8.1-1_1.8.2-1_all.debdelta	2025-09-24 09:35	66K
	why3_1.8.0-2+b1_1.8.1-1+b1_amd64.debdelta-too-big	2025-09-16 15:25	0
	why3_1.8.0-2+b1_1.8.1-1+b1_i386.debdelta	2025-09-16 15:10	12M
	why3_1.8.0-2+b1_1.8.1-1_amd64.debdelta-too-big	2025-09-13 23:51	0
	why3_1.8.0-2+b1_1.8.1-1_i386.debdelta	2025-09-13 20:05	11M
	why3_1.8.1-1+b1_1.8.2-1_amd64.debdelta	2025-09-24 10:05	5.4M
	why3_1.8.1-1+b1_1.8.2-1_i386.debdelta	2025-09-24 09:48	2.6M
	why3_1.8.1-1_1.8.1-1+b1_amd64.debdelta	2025-09-16 09:26	2.1M
	why3_1.8.1-1_1.8.1-1+b1_i386.debdelta	2025-09-16 09:14	3.6M