--rw-r--r-- M 53 fernan sys 71 Sep 19 2009 .darcs-boring --rw-r--r-- M 53 fernan sys 1524 Sep 19 2009 LICENSE --rw-r--r-- M 53 fernan sys 87 Sep 19 2009 Setup.hs d-rwxr-xr-x M 53 fernan sys 0 Jul 15 2018 System --rw-r--r-- M 53 fernan sys 469 Sep 19 2009 filepath.cabal --rw-r--r-- M 53 fernan sys 0 Sep 19 2009 generatedCfiles --rw-r--r-- M 53 fernan sys 837 Sep 19 2009 make-docs.bat --rw-r--r-- M 53 fernan sys 61 Sep 19 2009 prologue.txt --rw-r--r-- M 53 fernan sys 80 Sep 19 2009 push.bat --rw-r--r-- M 53 bootes sys 2452 Sep 19 2009 readme.txt d-rwxr-xr-x M 53 fernan sys 0 Jul 15 2018 test Go to parent directory