--rw-r--r-- fernan sys  192 Sep 19  2009 .darcs-boring
--rw-r--r-- fernan sys 2937 Sep 19  2009 LICENSE
--rw-r--r-- fernan sys  322 Sep 19  2009 Makefile.nhc98
--rw-r--r-- fernan sys  113 Sep 19  2009 Setup.hs
d-rwxr-xr-x fernan sys    0 Jul 15  2018 System
--rw-r--r-- bootes sys 2009 Sep 19  2009 aclocal.m4
d-rwxr-xr-x fernan sys    0 Jul 15  2018 cbits
--rw-r--r-- fernan sys  539 Sep 19  2009 configure.ac
d-rwxr-xr-x fernan sys    0 Jul 15  2018 include
--rw-r--r-- fernan sys  808 Sep 19  2009 process.cabal
--rw-r--r-- fernan sys   67 Sep 19  2009 prologue.txt