Index of /by-release/changes-files/ubuntu/p/proofgeneral

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral_3.5-3.1_source.changes.bz2	2006-11-08 12:34	758
	proofgeneral_3.5-3_source.changes.bz2	2006-06-26 23:58	515
	proofgeneral_3.5-4.1_source.changes.bz2	2006-12-20 15:19	719
	proofgeneral_3.5-4_source.changes.bz2	2006-12-15 18:10	653
	proofgeneral_3.5-6_source.changes.bz2	2007-10-24 01:26	683
	proofgeneral_3.7-3.1_source.changes.bz2	2009-11-12 13:52	1.3K
	proofgeneral_3.7-3_source.changes.bz2	2008-05-03 08:46	899
	proofgeneral_3.7-3build1_source.changes.bz2	2008-08-07 09:00	568
	proofgeneral_3.7-4_source.changes.bz2	2010-10-15 20:02	772
	proofgeneral_4.2~pre120411-2_source.changes.bz2	2012-05-22 03:17	1.2K
	proofgeneral_4.2~pre120605-1_source.changes.bz2	2012-06-10 18:09	1.1K
	proofgeneral_4.2~pre120605-2_source.changes.bz2	2012-12-06 18:35	708
	proofgeneral_4.3~pre130510-1.1_source.changes.bz2	2014-02-28 13:36	914
	proofgeneral_4.3~pre130510-1_source.changes.bz2	2013-05-18 19:36	1.0K
	proofgeneral_4.3~pre131011-0.1_source.changes.bz2	2014-10-26 10:37	883
	proofgeneral_4.3~pre131011-0.2_source.changes.bz2	2014-11-17 01:06	815
	proofgeneral_4.4.1~pre161230-0.1_source.changes.bz2	2017-01-01 00:37	1.1K
	proofgeneral_4.4.1~pre170114-1.1_source.changes.bz2	2019-07-25 19:35	726
	proofgeneral_4.4.1~pre170114-1.1ubuntu1_source.changes.bz2	2019-10-01 23:36	741
	proofgeneral_4.4.1~pre170114-1.1~build1_source.changes.bz2	2019-07-25 14:35	727
	proofgeneral_4.4.1~pre170114-1.2_source.changes.bz2	2019-12-19 21:07	765
	proofgeneral_4.4.1~pre170114-1_source.changes.bz2	2017-01-17 07:38	1.0K
	proofgeneral_4.5-1_source.changes.bz2	2023-08-17 21:37	1.0K
	proofgeneral_4.5-2_source.changes.bz2	2024-11-04 08:46	712
	proofgeneral_4.5-3_source.changes.bz2	2024-11-28 05:06	706