Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.2/old-time-1.0.0.6 |
-rw-r--r-- | 327851 | root | root | /usr/lib/ghc-7.0.2/old-time-1.0.0.6/HSold-time-1.0.0.6.o |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.2/old-time-1.0.0.6/System |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.0.2/old-time-1.0.0.6/include |
-rw-r--r-- | 906896 | root | root | /usr/lib/ghc-7.0.2/old-time-1.0.0.6/libHSold-time-1.0.0.6.a |
-rw-r--r-- | 80423 | root | root | /usr/lib/ghc-7.0.2/old-time-1.0.0.6/System/Time.dyn_hi |
-rw-r--r-- | 80411 | root | root | /usr/lib/ghc-7.0.2/old-time-1.0.0.6/System/Time.hi |
-rw-r--r-- | 1025 | root | root | /usr/lib/ghc-7.0.2/old-time-1.0.0.6/include/HsTime.h |
-rw-r--r-- | 2931 | root | root | /usr/lib/ghc-7.0.2/old-time-1.0.0.6/include/HsTimeConfig.h |
-rw-r--r-- | 967 | root | root | /usr/lib/ghc-7.0.2/package.conf.d/old-time-1.0.0.6-249d424df19da9487f0cb7da3ccb0868.conf |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6 |
-rw-r--r-- | 2934 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/LICENSE |
-rw-r--r-- | 28076 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/System-Time.html |
-rw-r--r-- | 7779 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/doc-index.html |
-rw-r--r-- | 830 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/frames.html |
-rw-r--r-- | 7521 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/haddock-util.js |
-rw-r--r-- | 1684 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/hslogo-16.png |
-rw-r--r-- | 703 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/index-frames.html |
-rw-r--r-- | 1353 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/index.html |
-rw-r--r-- | 2815 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/mini_System-Time.html |
-rw-r--r-- | 56 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/minus.gif |
-rw-r--r-- | 8144 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/ocean.css |
-rw-r--r-- | 13145 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/old-time.haddock |
-rw-r--r-- | 5530 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/old-time.txt |
-rw-r--r-- | 59 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/plus.gif |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/src |
-rw-r--r-- | 11327 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/synopsis.png |
-rw-r--r-- | 123813 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/src/System-Time.html |
-rw-r--r-- | 243 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.6/src/hscolour.css |