Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-6.12.3/vector-space-0.7.6 |
-rwxr-xr-x | 312384 | root | root | /usr/lib/ghc-6.12.3/vector-space-0.7.6/libHSvector-space-0.7.6-ghc6.12.3.so |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc-vector-space-0.7.6 |
-rw-r--r-- | 1397 | root | root | /usr/share/doc/ghc-vector-space-0.7.6/COPYING |