Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-6.12.3/old-time-1.0.0.5 |
-rw-r--r-- | 329506 | root | root | /usr/lib/ghc-6.12.3/old-time-1.0.0.5/HSold-time-1.0.0.5.o |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-6.12.3/old-time-1.0.0.5/System |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-6.12.3/old-time-1.0.0.5/include |
-rw-r--r-- | 887080 | root | root | /usr/lib/ghc-6.12.3/old-time-1.0.0.5/libHSold-time-1.0.0.5.a |
-rw-r--r-- | 80489 | root | root | /usr/lib/ghc-6.12.3/old-time-1.0.0.5/System/Time.dyn_hi |
-rw-r--r-- | 80477 | root | root | /usr/lib/ghc-6.12.3/old-time-1.0.0.5/System/Time.hi |
-rw-r--r-- | 1025 | root | root | /usr/lib/ghc-6.12.3/old-time-1.0.0.5/include/HsTime.h |
-rw-r--r-- | 2857 | root | root | /usr/lib/ghc-6.12.3/old-time-1.0.0.5/include/HsTimeConfig.h |
-rw-r--r-- | 970 | root | root | /usr/lib/ghc-6.12.3/package.conf.d/old-time-1.0.0.5-45398fe9d274a4e0177157e25427aeec.conf |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5 |
-rw-r--r-- | 2934 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/LICENSE |
-rw-r--r-- | 33599 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/System-Time.html |
-rw-r--r-- | 10034 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/doc-index.html |
-rw-r--r-- | 619 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/frames.html |
-rw-r--r-- | 3402 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/haddock-util.js |
-rw-r--r-- | 4714 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/haddock.css |
-rw-r--r-- | 911 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/haskell_icon.gif |
-rw-r--r-- | 576 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/index-frames.html |
-rw-r--r-- | 1799 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/index.html |
-rw-r--r-- | 2570 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/mini_System-Time.html |
-rw-r--r-- | 56 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/minus.gif |
-rw-r--r-- | 13145 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/old-time.haddock |
-rw-r--r-- | 59 | root | root | /usr/share/doc/ghc/html/libraries/old-time-1.0.0.5/plus.gif |