../ DevelReleaseAnnouncement 03-Aug-2023 00:58 1618 DevelReleaseAnnouncement.html 03-Aug-2023 00:58 2384 EOLReleaseAnnouncement 03-Aug-2023 00:58 2016 EOLReleaseAnnouncement.html 03-Aug-2023 00:58 2994 mantic.tar.gz 03-Aug-2023 00:58 1M mantic.tar.gz.gpg 03-Aug-2023 00:58 819