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