d-rwxr-xr-x M 53 fernan sys 0 Jul 15 2018 QuickCheck --rw-r--r-- M 53 bootes sys 7975 Sep 19 2009 QuickCheck.hi Go to parent directory