../ DevelReleaseAnnouncement 02-Aug-2023 16:13 1618 DevelReleaseAnnouncement.html 02-Aug-2023 16:13 2384 EOLReleaseAnnouncement 02-Aug-2023 16:13 2016 EOLReleaseAnnouncement.html 02-Aug-2023 16:13 2994 ReleaseAnnouncement 02-Aug-2023 16:13 1733 ReleaseAnnouncement.html 02-Aug-2023 16:13 2651 mantic.tar.gz 02-Aug-2023 16:13 1264981 mantic.tar.gz.gpg 02-Aug-2023 16:13 819