directory / @ 47:6d34c02f7c9c

name size permissions
dir. numerics/ drwxr-xr-x
dir. tests/ drwxr-xr-x
file INSTALL.py 1943 -rwxr-xr-x
file README.txt 250 -rw-r--r--
file setup.py 1318 -rw-r--r--