../ mgltools-webservices_1.5.7-1.debian.tar.xz 26-Apr-2023 17:38 6000 mgltools-webservices_1.5.7-1.dsc 26-Apr-2023 17:38 2236 mgltools-webservices_1.5.7-1_all.deb 26-Apr-2023 17:38 27K mgltools-webservices_1.5.7.orig.tar.xz 26-Apr-2023 17:38 24K