Name                                         Last modified      Size  Description
 Parent Directory                                                  -   
 mantic.tar.gz.gpg                            2023-10-02 10:28  819   Raw or other Packages
 mantic.tar.gz                                2023-10-02 10:28  1.2M  Raw or other Packages
 ReleaseAnnouncement.html                     2023-10-02 10:28  2.6K  
 ReleaseAnnouncement                          2023-10-02 10:28  1.7K  
 EOLReleaseAnnouncement.html                  2023-10-02 10:28  2.9K  
 EOLReleaseAnnouncement                       2023-10-02 10:28  2.0K  
 DevelReleaseAnnouncement.html                2023-10-02 10:28  2.3K  
 DevelReleaseAnnouncement                     2023-10-02 10:28  1.6K