Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.2/data-default-0.3.0 |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.2/data-default-0.3.0/Data |
-rw-r--r-- | 15540 | root | root | /usr/lib/ghc-7.0.2/data-default-0.3.0/HSdata-default-0.3.0.o |
-rw-r--r-- | 22734 | root | root | /usr/lib/ghc-7.0.2/data-default-0.3.0/libHSdata-default-0.3.0.a |
-rw-r--r-- | 35400 | root | root | /usr/lib/ghc-7.0.2/data-default-0.3.0/libHSdata-default-0.3.0_p.a |
-rw-r--r-- | 12698 | root | root | /usr/lib/ghc-7.0.2/data-default-0.3.0/Data/Default.dyn_hi |
-rw-r--r-- | 12686 | root | root | /usr/lib/ghc-7.0.2/data-default-0.3.0/Data/Default.hi |
-rw-r--r-- | 12690 | root | root | /usr/lib/ghc-7.0.2/data-default-0.3.0/Data/Default.p_hi |
-rw-r--r-- | 879 | root | root | /usr/lib/ghc-7.0.2/package.conf.d/data-default-0.3.0.conf |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0 |
-rw-r--r-- | 9855 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/Data-Default.html |
-rw-r--r-- | 511 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/data-default.haddock |
-rw-r--r-- | 1237 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/doc-index.html |
-rw-r--r-- | 830 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/frames.html |
-rw-r--r-- | 7521 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/haddock-util.js |
-rw-r--r-- | 1684 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/hslogo-16.png |
-rw-r--r-- | 733 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/index-frames.html |
-rw-r--r-- | 1381 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/index.html |
-rw-r--r-- | 771 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/mini_Data-Default.html |
-rw-r--r-- | 56 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/minus.gif |
-rw-r--r-- | 8144 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/ocean.css |
-rw-r--r-- | 59 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/plus.gif |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/src |
-rw-r--r-- | 11327 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/synopsis.png |
-rw-r--r-- | 19345 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/src/Data-Default.html |
-rw-r--r-- | 243 | root | root | /usr/share/doc/ghc/html/libraries/data-default-0.3.0/src/hscolour.css |