Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.2/random-1.0.0.3 |
-rwxr-xr-x | 102820 | root | root | /usr/lib/ghc-7.0.2/random-1.0.0.3/libHSrandom-1.0.0.3-ghc7.0.2.so |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc-random-1.0.0.3 |
-rw-r--r-- | 2934 | root | root | /usr/share/doc/ghc-random-1.0.0.3/LICENSE |