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

	Name	Last modified	Size
	Parent Directory		-
	libwhy3-ocaml-dev_1.7.2-2+b1_1.7.2-2+b2_amd64.debdelta	2025-01-02 21:29	139K
	libwhy3-ocaml-dev_1.7.2-2+b1_1.7.2-2+b2_i386.debdelta	2025-01-02 21:28	4.5K
	libwhy3-ocaml-dev_1.7.2-2+b2_1.8.0-1_amd64.debdelta-too-big	2025-01-23 03:27	0
	libwhy3-ocaml-dev_1.7.2-2+b2_1.8.0-1_i386.debdelta-too-big	2025-01-23 03:21	0
	libwhy3-ocaml-dev_1.7.2-2+b2_1.8.0-2_amd64.debdelta-too-big	2025-02-07 17:46	0
	libwhy3-ocaml-dev_1.7.2-2+b2_1.8.0-2_i386.debdelta-too-big	2025-02-07 17:20	0
	libwhy3-ocaml-dev_1.8.0-1+b1_1.8.0-2_amd64.debdelta	2025-02-02 09:13	4.9K
	libwhy3-ocaml-dev_1.8.0-1+b1_1.8.0-2_i386.debdelta	2025-02-02 09:04	4.5K
	libwhy3-ocaml-dev_1.8.0-1_1.8.0-1+b1_amd64.debdelta-too-big	2025-01-28 22:09	0
	libwhy3-ocaml-dev_1.8.0-1_1.8.0-1+b1_i386.debdelta-too-big	2025-01-28 21:43	0
	why3-examples_1.7.2-2_1.8.0-1_all.debdelta	2025-01-23 03:17	2.8M
	why3-examples_1.7.2-2_1.8.0-2_all.debdelta	2025-02-07 17:02	2.8M
	why3-examples_1.8.0-1_1.8.0-2_all.debdelta	2025-02-02 08:58	66K
	why3_1.7.2-2+b1_1.7.2-2+b2_amd64.debdelta	2025-01-02 21:30	2.9M
	why3_1.7.2-2+b1_1.7.2-2+b2_i386.debdelta	2025-01-02 21:28	514K
	why3_1.7.2-2+b2_1.8.0-1_amd64.debdelta-too-big	2025-01-23 03:27	0
	why3_1.7.2-2+b2_1.8.0-1_i386.debdelta	2025-01-23 03:22	14M
	why3_1.7.2-2+b2_1.8.0-2_amd64.debdelta-too-big	2025-02-07 17:47	0
	why3_1.7.2-2+b2_1.8.0-2_i386.debdelta-too-big	2025-02-07 17:20	0
	why3_1.8.0-1+b1_1.8.0-2_amd64.debdelta	2025-02-02 09:13	16K
	why3_1.8.0-1+b1_1.8.0-2_i386.debdelta	2025-02-02 09:04	13K
	why3_1.8.0-1_1.8.0-1+b1_amd64.debdelta-too-big	2025-01-28 22:09	0
	why3_1.8.0-1_1.8.0-1+b1_i386.debdelta-too-big	2025-01-28 21:44	0