../ DevelReleaseAnnouncement 27-Oct-2023 02:18 1618 DevelReleaseAnnouncement.html 27-Oct-2023 02:18 2384 EOLReleaseAnnouncement 27-Oct-2023 02:18 2016 EOLReleaseAnnouncement.html 27-Oct-2023 02:18 2994 ReleaseAnnouncement 27-Oct-2023 02:18 1733 ReleaseAnnouncement.html 27-Oct-2023 02:18 2651 mantic.tar.gz 27-Oct-2023 02:18 1266909 mantic.tar.gz.gpg 27-Oct-2023 02:18 833