Index of /by-release/atomic/debian/m/matita

	Name	Last modified	Size	Description
	Parent Directory		-
	matita_0.5.1-1.patch-basis	2008-05-30 13:45	8
	matita_0.5.2-1.patch-basis	2008-07-02 22:22	8
	matita_0.5.3-1.patch-basis	2008-07-24 10:15	8
	matita_0.5.4-1.patch-basis	2008-11-01 14:15	8
	matita_0.5.5-1.patch-basis	2008-11-17 21:18	8
	matita_0.5.5-2.patch-basis	2008-11-28 22:24	8
	matita_0.5.6-1.patch-basis	2008-12-02 10:22	8
	matita_0.5.7-1.patch-basis	2009-02-15 23:33	8
	matita_0.5.7-2.patch-basis	2009-03-21 05:21	8
	matita_0.5.8-1.patch-basis	2009-12-02 11:29	8
	matita_0.5.8-2.patch-basis	2009-12-05 05:32	8
	matita_0.5.8-3.patch-basis	2011-05-31 17:19	8
	matita_0.5.8-4.patch-basis	2012-04-01 16:10	8
	matita_0.99.1-1.patch-basis	2012-05-22 00:20	8
	matita_0.4.98-1.patch-basis	2007-11-25 21:12	9
	matita_0.4.98-2.patch-basis	2007-11-26 21:11	9
	matita_0.4.98-3.patch-basis	2007-11-27 21:13	9
	matita_0.4.98-4.patch-basis	2007-12-08 21:12	9
	matita_0.4.98-5.patch-basis	2007-12-11 21:13	9
	matita_0.4.98-7.patch-basis	2008-03-04 10:14	9
	matita_0.5.0~rc1-1.patch-basis	2008-05-01 23:15	9
	matita_0.99.1-2.patch-basis	2013-10-02 15:35	9
	matita_0.99.1-3.patch-basis	2013-12-11 11:37	9
	matita_0.99.3-1.patch-basis	2016-05-25 11:45	9
	matita_0.5.0-1.patch-basis	2008-05-10 22:16	12
	matita_0.99.1-2.patch.bz2	2013-10-02 15:35	564
	matita_0.5.8-2.patch.bz2	2009-12-05 05:32	608
	patches.xml	2016-05-25 12:02	2.9K
	matita_0.99.1-3.patch.bz2	2013-12-11 11:37	7.5K
	matita_0.5.8-3.patch.bz2	2011-05-31 17:19	16K
	matita_0.5.8-4.patch.bz2	2012-04-01 16:10	17K
	matita_0.5.8-1.patch.bz2	2009-12-02 11:29	2.2M
	matita_0.99.3-1.patch.bz2	2016-05-25 11:45	3.5M
	matita_0.99.1-1.patch.bz2	2012-05-22 00:20	3.9M