../ mgltools-symserv_1.5.7-2.debian.tar.xz 11-Jun-2020 04:27 6424 mgltools-symserv_1.5.7-2.dsc 11-Jun-2020 04:27 2121 mgltools-symserv_1.5.7-2_all.deb 10-Jun-2020 17:28 23312 mgltools-symserv_1.5.7.orig.tar.xz 11-Jun-2020 04:27 22084