Index of /pub/gnu_linux/ubuntu/dists/mantic-proposed/main/dist-upgrader-all/23.10.13

      Name                                                                Last modified      Size  Description
      Parent Directory                                                                         -   
      DevelReleaseAnnouncement                                            2023-10-27 11:39  1.6K  
      DevelReleaseAnnouncement.html                                       2023-10-27 11:39  2.3K  
      EOLReleaseAnnouncement                                              2023-10-27 11:39  2.0K  
      EOLReleaseAnnouncement.html                                         2023-10-27 11:39  2.9K  
      ReleaseAnnouncement                                                 2023-10-27 11:39  1.7K  
      ReleaseAnnouncement.html                                            2023-10-27 11:39  2.6K  
      mantic.tar.gz                                                       2023-10-27 11:39  1.2M  
      mantic.tar.gz.gpg                                                   2023-10-27 11:39  833