Index of /pub/gnu_linux/ubuntu/pool/universe/r/redet

      Name                                   Last modified      Size  Description
      Parent Directory                                            -   
      redet_8.26-1.5_all.deb                 2022-04-30 06:29  245K  
      redet_8.26-1.4_all.deb                 2021-01-06 19:26  229K  
      redet_8.26-1.3_all.deb                 2018-05-05 00:02  229K  
      redet_8.26-1.2_all.deb                 2016-12-25 18:28  229K  
      redet_8.26-1.1_all.deb                 2009-11-18 19:14  297K  
      redet-doc_8.26-1.5_all.deb             2022-04-30 06:29  4.8M  
      redet-doc_8.26-1.4_all.deb             2021-01-06 19:26  4.8M  
      redet-doc_8.26-1.3_all.deb             2018-05-05 00:02  4.8M  
      redet-doc_8.26-1.2_all.deb             2016-12-25 18:28  4.8M  
      redet-doc_8.26-1.1_all.deb             2009-11-18 19:14  5.0M