Index of /debian/pool/main/d/debputy

Icon  Name                     Last modified      Size  
[PARENTDIR] Parent Directory                              -   
[   ] debputy_0.1.5.dsc        2023-09-12 20:49  1.4K  
[   ] debputy_0.1.5.tar.xz     2023-09-12 20:49  302K  
[   ] dh-debputy_0.1.5_all.deb 2023-09-12 21:55  153K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443