../ DevelReleaseAnnouncement 28-Nov-2023 04:43 1618 DevelReleaseAnnouncement.html 28-Nov-2023 04:43 2384 EOLReleaseAnnouncement 28-Nov-2023 04:43 2016 EOLReleaseAnnouncement.html 28-Nov-2023 04:43 2994 mantic.tar.gz 28-Nov-2023 04:43 1M mantic.tar.gz.gpg 28-Nov-2023 04:43 833