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