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

Icon  Name                                   Last modified      Size  Description
[DIR] Parent Directory                                            -   
[   ] libdevil-dev_1.7.8-10+b1_x32.deb       07-Apr-2016 12:25  257K  
[   ] libdevil1c2-dbgsym_1.7.8-10+b1_x32.deb 07-Apr-2016 12:25  454K  
[   ] libdevil1c2_1.7.8-10+b1_x32.deb        07-Apr-2016 12:25  224K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80