Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.4/Stream-0.4.6 |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.4/Stream-0.4.6/Data |
-rw-r--r-- | 58371 | root | root | /usr/lib/ghc-7.0.4/Stream-0.4.6/HSStream-0.4.6.o |
-rw-r--r-- | 80896 | root | root | /usr/lib/ghc-7.0.4/Stream-0.4.6/libHSStream-0.4.6.a |
-rw-r--r-- | 152876 | root | root | /usr/lib/ghc-7.0.4/Stream-0.4.6/libHSStream-0.4.6_p.a |
-rw-r--r-- | 23828 | root | root | /usr/lib/ghc-7.0.4/Stream-0.4.6/Data/Stream.dyn_hi |
-rw-r--r-- | 23816 | root | root | /usr/lib/ghc-7.0.4/Stream-0.4.6/Data/Stream.hi |
-rw-r--r-- | 23820 | root | root | /usr/lib/ghc-7.0.4/Stream-0.4.6/Data/Stream.p_hi |
-rw-r--r-- | 1429 | root | root | /usr/lib/ghc-7.0.4/package.conf.d/Stream-0.4.6.conf |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6 |
-rw-r--r-- | 40881 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/Data-Stream.html |
-rw-r--r-- | 27239 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/Stream.haddock |
-rw-r--r-- | 5941 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/doc-index.html |
-rw-r--r-- | 830 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/frames.html |
-rw-r--r-- | 7521 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/haddock-util.js |
-rw-r--r-- | 1684 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/hslogo-16.png |
-rw-r--r-- | 729 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/index-frames.html |
-rw-r--r-- | 1736 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/index.html |
-rw-r--r-- | 5430 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/mini_Data-Stream.html |
-rw-r--r-- | 56 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/minus.gif |
-rw-r--r-- | 8144 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/ocean.css |
-rw-r--r-- | 59 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/plus.gif |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/src |
-rw-r--r-- | 11327 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/synopsis.png |
-rw-r--r-- | 87320 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/src/Data-Stream.html |
-rw-r--r-- | 243 | root | root | /usr/share/doc/ghc/html/libraries/Stream-0.4.6/src/hscolour.css |