-rw-rw-r-- 1 mr mr 55649903 Jun 30 16:05 ../bcpl.tgz
-rw-rw-r-- 1 mr mr 55506335 Jun 30 16:06 ../bcpl.zip
