../ DevelReleaseAnnouncement 05-Oct-2023 21:18 1618 DevelReleaseAnnouncement.html 05-Oct-2023 21:18 2384 EOLReleaseAnnouncement 05-Oct-2023 21:18 2016 EOLReleaseAnnouncement.html 05-Oct-2023 21:18 2994 ReleaseAnnouncement 05-Oct-2023 21:18 1733 ReleaseAnnouncement.html 05-Oct-2023 21:18 2651 mantic.tar.gz 05-Oct-2023 21:18 1M mantic.tar.gz.gpg 05-Oct-2023 21:18 819