Index of /by-release/ubuntu/w/why3

	Name	Last modified	Size	Description
	Parent Directory		-
	patches.xml	2025-02-22 00:17	2.7K
	why3_0.87.3-2ubuntu1.patch-basis	2017-07-18 06:20	9
	why3_0.87.3-2ubuntu1.patch.bz2	2017-07-18 06:20	1.0K
	why3_0.87.3-2ubuntu2.patch-basis	2017-09-01 17:47	9
	why3_0.87.3-2ubuntu2.patch.bz2	2017-09-01 17:47	1.1K
	why3_0.87.3-2ubuntu3.patch-basis	2017-09-19 02:43	9
	why3_0.87.3-2ubuntu3.patch.bz2	2017-09-19 02:43	1.2K
	why3_0.87.3-2ubuntu4.patch-basis	2017-11-05 04:34	9
	why3_0.87.3-2ubuntu4.patch.bz2	2017-11-05 04:34	1.2K
	why3_0.88.3-1ubuntu4.patch-basis	2018-04-07 07:43	9
	why3_0.88.3-1ubuntu4.patch.bz2	2018-04-07 07:43	2.2K
	why3_0.88.3-3ubuntu1.patch-basis	2018-06-04 17:43	9
	why3_0.88.3-3ubuntu1.patch.bz2	2018-06-04 17:43	1.8K
	why3_1.2.0-1ubuntu2.patch-basis	2019-07-29 23:40	8
	why3_1.2.0-1ubuntu2.patch.bz2	2019-07-29 23:40	1.7K
	why3_1.2.0-2ubuntu1.patch-basis	2019-09-02 22:41	8
	why3_1.2.0-2ubuntu1.patch.bz2	2019-09-02 22:41	1.8K
	why3_1.2.0-3ubuntu1.patch-basis	2019-10-16 11:39	8
	why3_1.2.0-3ubuntu1.patch.bz2	2019-10-16 11:39	1.9K
	why3_1.2.1-1ubuntu1.patch-basis	2019-10-31 14:40	8
	why3_1.2.1-1ubuntu1.patch.bz2	2019-10-31 14:40	1.9K