../ mgltools-symserv_1.5.7-2.debian.tar.xz 07-Aug-2019 09:04 6424 mgltools-symserv_1.5.7-2.dsc 07-Aug-2019 09:04 2121 mgltools-symserv_1.5.7-2_all.deb 07-Aug-2019 08:50 23744 mgltools-symserv_1.5.7.orig.tar.xz 07-Aug-2019 09:04 22084