../ industri-1.01-exec-stack.patch 04-Apr-2021 07:39 658 industri-1.01-glext.patch 04-Apr-2021 07:39 911 industri-1.01-ldflags.patch 04-Apr-2021 07:39 768 industri.pretty 09-Aug-2015 00:38 42