d-rwxr-xr-x M 53 fernan sys 0 Jul 15 2018 Debug --rw-r--r-- M 53 fernan sys 1611 Sep 19 2009 LICENSE --rw-r--r-- M 53 fernan sys 1014 Sep 19 2009 QuickCheck.cabal --rw-r--r-- M 53 fernan sys 87 Sep 19 2009 Setup.hs d-rwxr-xr-x M 53 fernan sys 0 Jul 15 2018 Test --rw-r--r-- M 53 fernan sys 0 Sep 19 2009 generatedCfiles --rw-r--r-- M 53 bootes sys 569 Sep 19 2009 prologue.txt Go to parent directory