../ DevelReleaseAnnouncement 26-Oct-2023 19:18 1618 DevelReleaseAnnouncement.html 26-Oct-2023 19:18 2384 EOLReleaseAnnouncement 26-Oct-2023 19:18 2016 EOLReleaseAnnouncement.html 26-Oct-2023 19:18 2994 mantic.tar.gz 26-Oct-2023 19:18 1M mantic.tar.gz.gpg 26-Oct-2023 19:18 833