Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 DevelReleaseAnnouncement                    2023-06-08 10:23  1.6K  
 DevelReleaseAnnouncement.html               2023-06-08 10:23  2.3K  
 EOLReleaseAnnouncement                      2023-06-08 10:23  2.0K  
 EOLReleaseAnnouncement.html                 2023-06-08 10:23  2.9K  
 mantic.tar.gz                               2023-06-08 10:23  1.2M  
 mantic.tar.gz.gpg                           2023-06-08 10:23  819   
 ReleaseAnnouncement                         2023-06-08 10:23  1.7K  
 ReleaseAnnouncement.html                    2023-06-08 10:23  2.6K