d-rwxr-xr-x M 56 fernan sys 0 Jul 15 2018 FilePath --rw-r--r-- M 56 fernan sys 79 Sep 19 2009 FilePath.hc --rw-r--r-- M 56 bootes sys 732 Sep 19 2009 FilePath.hs Go to parent directory