../ gnustep-gui-common_0.25.0-4_all.deb 03-Sep-2016 11:46 793434 gnustep-gui-doc_0.25.0-4_all.deb 03-Sep-2016 11:46 1040448 gnustep-gui-runtime_0.25.0-4+b1_armhf.deb 16-Jan-2017 19:40 128996 libgnustep-gui-dev_0.25.0-4+b1_armhf.deb 16-Jan-2017 19:40 1606994 libgnustep-gui0.25-dbg_0.25.0-4+b1_armhf.deb 16-Jan-2017 19:40 4222204 libgnustep-gui0.25_0.25.0-4+b1_armhf.deb 16-Jan-2017 19:40 1254820