Name Last modified Size ![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/compressed.gif){kind=icon}
industrial-icon-theme_11.0.5.0-1.diff.gz 27-Oct-2008 00:47 8.0K
![[ ]](/icons/unknown.gif){kind=icon}
industrial-icon-theme_11.0.5.0-1.dsc 27-Oct-2008 00:47 1.1K
industrial-icon-theme_11.0.5.0-1_all.deb 27-Oct-2008 00:47 387K
industrial-icon-theme_11.0.5.0.orig.tar.gz 27-Oct-2008 00:47 539K