Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 mantic.tar.gz.gpg                                     2023-11-05 09:48  833   Raw or other Packages
 mantic.tar.gz                                         2023-11-05 09:48  1.2M  Raw or other Packages
 ReleaseAnnouncement.html                              2023-11-05 09:48  2.6K  
 ReleaseAnnouncement                                   2023-11-05 09:48  1.7K  
 EOLReleaseAnnouncement.html                           2023-11-05 09:48  2.9K  
 EOLReleaseAnnouncement                                2023-11-05 09:48  2.0K  
 DevelReleaseAnnouncement.html                         2023-11-05 09:48  2.3K  
 DevelReleaseAnnouncement                              2023-11-05 09:48  1.6K