Index of /bin/linux

      Name                    Last modified      Size  
      Parent Directory                             -   
      debian/                 2019-10-14 12:13    -   
      redhat/                 2014-07-27 19:12    -   
      suse/                   2012-02-16 14:09    -   
      ubuntu/                 2019-10-23 13:08    -

Apache/2.4.39 (Unix) Server at cran.rstudio.com Port 80