--rw-r--r-- fernan sys   71 Sep 19  2009 .darcs-boring
--rw-r--r-- fernan sys 1949 Sep 19  2009 LICENSE
--rw-r--r-- fernan sys   87 Sep 19  2009 Setup.hs
d-rwxr-xr-x fernan sys    0 Jul 15  2018 Text
--rw-r--r-- fernan sys    0 Sep 19  2009 generatedCfiles
--rw-r--r-- fernan sys  296 Sep 19  2009 pretty.cabal
--rw-r--r-- fernan sys   49 Sep 19  2009 prologue.txt