../ DevelReleaseAnnouncement 02-Oct-2023 16:28 1618 DevelReleaseAnnouncement.html 02-Oct-2023 16:28 2384 EOLReleaseAnnouncement 02-Oct-2023 16:28 2016 EOLReleaseAnnouncement.html 02-Oct-2023 16:28 2994 ReleaseAnnouncement 02-Oct-2023 16:28 1733 ReleaseAnnouncement.html 02-Oct-2023 16:28 2651 mantic.tar.gz 02-Oct-2023 16:28 1M mantic.tar.gz.gpg 02-Oct-2023 16:28 819