--rw-r--r-- fernan sys   71 Sep 19  2009 .darcs-boring
--rw-r--r-- fernan sys 1524 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 System
--rw-r--r-- fernan sys  469 Sep 19  2009 filepath.cabal
--rw-r--r-- fernan sys    0 Sep 19  2009 generatedCfiles
--rw-r--r-- fernan sys  837 Sep 19  2009 make-docs.bat
--rw-r--r-- fernan sys   61 Sep 19  2009 prologue.txt
--rw-r--r-- fernan sys   80 Sep 19  2009 push.bat
--rw-r--r-- bootes sys 2452 Sep 19  2009 readme.txt
d-rwxr-xr-x fernan sys    0 Jul 15  2018 test