Index of /ubuntu-ports/ppc64el/pool/universe/m/matita

Icon  Name                                   Last modified      Size  
[PARENTDIR] Parent Directory                                            -   
[   ] matita_0.99.1-3.debian.tar.gz          2013-12-11 11:28  4.7K  
[TXT] matita_0.99.1-3.dsc                    2013-12-11 11:28  1.5K  
[   ] matita_0.99.1-3_arm64.deb              2013-12-23 19:58  6.8M  
[   ] matita_0.99.1-3_armhf.deb              2013-12-23 18:18  2.4M  
[   ] matita_0.99.1-3_powerpc.deb            2013-12-23 19:18  2.1M  
[   ] matita_0.99.1-3_ppc64el.deb            2014-02-18 00:58  6.8M  
[   ] matita_0.99.1.orig.tar.gz              2012-05-17 06:33  9.9M