--rw-r--r-- M 56 bootes sys 8210 Sep 19 2009 Main.hs --rw-r--r-- M 56 fernan sys 20 Sep 19 2009 constraints.stdout Go to parent directory