Index of /debian/pool/main/p/prettyping

Icon  Name                               Last modified      Size  
[PARENTDIR] Parent Directory                                        -   
[   ] prettyping_1.0.1-1.1.debian.tar.xz 2020-01-07 20:33  2.8K  
[   ] prettyping_1.0.1-1.1.dsc           2020-01-07 20:33  1.7K  
[   ] prettyping_1.0.1-1.1_all.deb       2020-01-07 20:43   10K  
[   ] prettyping_1.0.1.orig.tar.gz       2019-12-08 06:04  9.9K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443