../ mgltools-symserv_1.5.7-1.debian.tar.xz 09-Jul-2016 08:32 6460 mgltools-symserv_1.5.7-1.dsc 09-Jul-2016 08:32 2207 mgltools-symserv_1.5.7-1_all.deb 09-Jul-2016 08:32 23K mgltools-symserv_1.5.7-2.debian.tar.xz 01-Jan-2018 15:09 6424 mgltools-symserv_1.5.7-2.dsc 01-Jan-2018 15:09 2121 mgltools-symserv_1.5.7-2_all.deb 01-Jan-2018 15:09 23K mgltools-symserv_1.5.7.orig.tar.xz 09-Jul-2016 08:32 22K