../ DevelReleaseAnnouncement 08-Jun-2023 15:23 1618 DevelReleaseAnnouncement.html 08-Jun-2023 15:23 2384 EOLReleaseAnnouncement 08-Jun-2023 15:23 2016 EOLReleaseAnnouncement.html 08-Jun-2023 15:23 2994 mantic.tar.gz 08-Jun-2023 15:23 1M mantic.tar.gz.gpg 08-Jun-2023 15:23 819