directory / @ 0:aa359e82dab7

name size permissions
file Agda.mm 10002 -rw-r--r--
file agda-prog.ind 1915 -rw-r--r--
file fancyvrb.sty 45096 -rw-r--r--
file ipsjcommon.sty 35314 -rwxr-xr-x
file ipsjdrafts.sty 12021 -rwxr-xr-x
file ipsjpapers.sty 67755 -rwxr-xr-x
file ipsjsort.bst 22981 -rwxr-xr-x
file ipsjunsrt.bst 20635 -rwxr-xr-x