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