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