directory / @ 68:e9e8b0f107df

name size permissions
[up] drwxr-xr-x
dir. armadillo-3.900.4/ drwxr-xr-x
dir. segmentino/ drwxr-xr-x
file .hgignore 39 -rw-r--r--
file .hgsub 181 -rw-r--r--
file .hgsubstate 158 -rw-r--r--
file .hgtags 51 -rw-r--r--
file CITATION 873 -rw-r--r--
file COPYING 34521 -rw-r--r--
file Makefile.inc 1384 -rw-r--r--
file Makefile.linux 219 -rw-r--r--
file Makefile.mingw32 315 -rw-r--r--
file Makefile.osx 558 -rwxr-xr-x
file README 4880 -rw-r--r--
file segmentino.cat 43 -rw-r--r--
file segmentino.n3 2578 -rw-r--r--