Index of /debian/pool/main/m/mina

Icon  Name                                   Last modified      Size  
[PARENTDIR] Parent Directory                                            -   
[TXT] mina_1.1.7.dfsg-13.dsc                 2019-04-17 10:05  2.0K  
[   ] mina_1.1.7.dfsg-13.debian.tar.xz       2019-04-17 10:05  4.7K  
[   ] mina_1.1.7.dfsg.orig.tar.gz            2008-08-07 00:17  247K  
[   ] libmina-java_1.1.7.dfsg-13_all.deb     2019-04-17 11:55  316K  
[   ] libmina-java-doc_1.1.7.dfsg-13_all.deb 2019-04-17 11:55  411K
Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80