Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1 |
-rw-r--r-- | 1058 | root | root | /usr/lib/ghc-7.0.2/package.conf.d/tagged-0.2.3.1.conf |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/Data |
-rw-r--r-- | 126508 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/HStagged-0.2.3.1.o |
-rw-r--r-- | 193718 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/libHStagged-0.2.3.1.a |
-rw-r--r-- | 326266 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/libHStagged-0.2.3.1_p.a |
-rw-r--r-- | 32790 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/Data/Proxy.dyn_hi |
-rw-r--r-- | 32778 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/Data/Proxy.hi |
-rw-r--r-- | 32782 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/Data/Proxy.p_hi |
-rw-r--r-- | 86113 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/Data/Tagged.dyn_hi |
-rw-r--r-- | 86101 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/Data/Tagged.hi |
-rw-r--r-- | 86105 | root | root | /usr/lib/ghc-7.0.2/tagged-0.2.3.1/Data/Tagged.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1 |
-rw-r--r-- | 8916 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/Data-Proxy.html |
-rw-r--r-- | 12561 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/Data-Tagged.html |
-rw-r--r-- | 2826 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/doc-index.html |
-rw-r--r-- | 830 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/frames.html |
-rw-r--r-- | 7521 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/haddock-util.js |
-rw-r--r-- | 1684 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/hslogo-16.png |
-rw-r--r-- | 852 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/index-frames.html |
-rw-r--r-- | 1632 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/index.html |
-rw-r--r-- | 1223 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/mini_Data-Proxy.html |
-rw-r--r-- | 1320 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/mini_Data-Tagged.html |
-rw-r--r-- | 56 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/minus.gif |
-rw-r--r-- | 8144 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/ocean.css |
-rw-r--r-- | 59 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/plus.gif |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/src |
-rw-r--r-- | 11327 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/synopsis.png |
-rw-r--r-- | 8133 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/tagged.haddock |
-rw-r--r-- | 23651 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/src/Data-Proxy.html |
-rw-r--r-- | 22906 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/src/Data-Tagged.html |
-rw-r--r-- | 243 | root | root | /usr/share/doc/ghc/html/libraries/tagged-0.2.3.1/src/hscolour.css |