--rw-r--r-- M 53 bootes sys 68260 Sep 19 2009 Main.lhs --rw-r--r-- M 53 bootes sys 784213 Sep 19 2009 para.stdout Go to parent directory