. ├── [ 440072 Jun 25 2014] libisl10_0.12.2-2_amd64.deb └── [ 328870 Jun 25 2014] libisl10_0.12.2-2_armel.deb