../ DevelReleaseAnnouncement 11-Oct-2023 16:58 1618 DevelReleaseAnnouncement.html 11-Oct-2023 16:58 2384 EOLReleaseAnnouncement 11-Oct-2023 16:58 2016 EOLReleaseAnnouncement.html 11-Oct-2023 16:58 2994 mantic.tar.gz 11-Oct-2023 16:58 1M mantic.tar.gz.gpg 11-Oct-2023 16:58 819