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
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443