Index of /debian-ports/pool-x32/main/d/devtodo

Icon  Name                            Last modified      Size  Description
[DIR] Parent Directory                                     -   
[   ] devtodo-dbgsym_0.1.20-7_x32.deb 20-Jul-2019 08:03  1.3M  
[   ] devtodo_0.1.20-7_x32.buildinfo  20-Jul-2019 08:03  5.4K  
[   ] devtodo_0.1.20-7_x32.deb        20-Jul-2019 08:03  127K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80