--rw-r--r-- M 53 fernan sys 916 Sep 19 2009 GenTest.hs --rw-r--r-- M 53 fernan sys 4241 Sep 19 2009 Makefile d-rwxr-xr-x M 53 fernan sys 0 Jul 15 2018 Text --rw-r--r-- M 53 fernan sys 405 Sep 19 2009 pkg.conf d-rwxr-xr-x M 53 fernan sys 0 Jul 15 2018 tools Go to parent directory