--rw-r--r-- bootes sys 2391 Sep 19  2009 Cabal.cabal
--rw-r--r-- fernan sys  108 Sep 19  2009 DefaultSetup.lhs
d-rwxr-xr-x fernan sys    0 Jul 15  2018 Distribution
--rw-r--r-- fernan sys 1520 Sep 19  2009 LICENSE
d-rwxr-xr-x fernan sys    0 Jul 15  2018 Language
--rw-r--r-- fernan sys 5222 Sep 19  2009 Makefile
--rw-r--r-- fernan sys 3096 Sep 19  2009 README
--rw-r--r-- fernan sys  120 Sep 19  2009 Setup.lhs
--rw-r--r-- bootes sys 4032 Sep 19  2009 TODO
--rw-r--r-- fernan sys 5647 Sep 19  2009 changelog
--rw-r--r-- fernan sys 1672 Sep 19  2009 copyright
d-rwxr-xr-x fernan sys    0 Jul 15  2018 debian
d-rwxr-xr-x fernan sys    0 Jul 15  2018 debianTemplate
d-rwxr-xr-x fernan sys    0 Sep 16  2009 dependencies
d-rwxr-xr-x fernan sys    0 Jul 15  2018 doc
d-rwxr-xr-x fernan sys    0 Jul 15  2018 examples
--rw-r--r-- fernan sys    0 Sep 19  2009 generatedCfiles
--rw-r--r-- fernan sys  364 Sep 19  2009 mkGHCMakefile.sh
--rw-r--r-- fernan sys  417 Sep 19  2009 prologue.txt
--rw-r--r-- fernan sys 1989 Sep 19  2009 releaseNotes
--rw-r--r-- fernan sys  431 Sep 19  2009 runTests.sh
d-rwxr-xr-x fernan sys    0 Jul 15  2018 tests