../ industri-1.01-exec-stack.patch 09-Aug-2015 00:38 642 industri-1.01-glext.patch 09-Aug-2015 00:38 983 industri-1.01-ldflags.patch 09-Aug-2015 00:38 840 industri.pretty 09-Aug-2015 00:38 42