../ DevelReleaseAnnouncement 05-Nov-2023 14:48 1618 DevelReleaseAnnouncement.html 05-Nov-2023 14:48 2384 EOLReleaseAnnouncement 05-Nov-2023 14:48 2016 EOLReleaseAnnouncement.html 05-Nov-2023 14:48 2994 mantic.tar.gz 05-Nov-2023 14:48 1M mantic.tar.gz.gpg 05-Nov-2023 14:48 833