../ DevelReleaseAnnouncement 27-Oct-2023 22:39 1618 DevelReleaseAnnouncement.html 27-Oct-2023 22:39 2384 EOLReleaseAnnouncement 27-Oct-2023 22:39 2016 EOLReleaseAnnouncement.html 27-Oct-2023 22:39 2994 ReleaseAnnouncement 27-Oct-2023 22:39 1733 ReleaseAnnouncement.html 27-Oct-2023 22:39 2651 mantic.tar.gz 27-Oct-2023 22:39 1M mantic.tar.gz.gpg 27-Oct-2023 22:39 833