Index of /debian-ports/pool-x32/main/a/armadillo

Icon  Name                                        Last modified      Size  Description
[DIR] Parent Directory                                                 -   
[   ] armadillo_9.900.1+dfsg-1_x32.buildinfo      11-Jun-2020 14:03  6.8K  
[   ] libarmadillo-dev_9.900.1+dfsg-1_x32.deb     11-Jun-2020 14:03  377K  
[   ] libarmadillo9-dbgsym_9.900.1+dfsg-1_x32.deb 11-Jun-2020 14:03  130K  
[   ] libarmadillo9_9.900.1+dfsg-1_x32.deb        11-Jun-2020 14:03   97K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80