directory / @ 8:4ba85665eda7

name size permissions
dir. fig/ drwxr-xr-x
file Agda.mm 13501 -rw-r--r--
file agda-prog.ind 53263 -rw-r--r--
file agda2latex.pl 712 -rw-r--r--
file do.sh 287 -rw-r--r--
file fancyvrb.sty 45913 -rw-r--r--
file ipsj.tex 1382 -rwxr-xr-x
file ipsjcommon.sty 35314 -rwxr-xr-x
file ipsjdrafts.sty 12021 -rwxr-xr-x
file ipsjpapers.cls 451 -rwxr-xr-x
file ipsjpapers.sty 67755 -rwxr-xr-x
file ipsjsort.bst 22981 -rwxr-xr-x
file ipsjunsrt.bst 20635 -rwxr-xr-x