../ DevelReleaseAnnouncement 20-Sep-2023 02:13 1618 DevelReleaseAnnouncement.html 20-Sep-2023 02:13 2384 EOLReleaseAnnouncement 20-Sep-2023 02:13 2016 EOLReleaseAnnouncement.html 20-Sep-2023 02:13 2994 ReleaseAnnouncement 20-Sep-2023 02:13 1733 ReleaseAnnouncement.html 20-Sep-2023 02:13 2651 mantic.tar.gz 20-Sep-2023 02:13 1M mantic.tar.gz.gpg 20-Sep-2023 02:13 819