Files
drwxr-xr-x | 4096 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/Data |
drwxr-xr-x | 4096 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/IO |
-rw-r--r-- | 7938 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2.a |
-rw-r--r-- | 16494 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2_p.a |
-rw-r--r-- | 1113 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/Data/FFI.dyn_hi |
-rw-r--r-- | 1101 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/Data/FFI.hi |
-rw-r--r-- | 1105 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/Data/FFI.p_hi |
-rw-r--r-- | 2231 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/IO/FFI.dyn_hi |
-rw-r--r-- | 2219 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/IO/FFI.hi |
-rw-r--r-- | 2223 | root | root | /usr/lib64/ghc-7.6.3/agda-lib-ffi-0.0.2/IO/FFI.p_hi |
-rw-r--r-- | 837 | root | root | /usr/lib64/ghc-7.6.3/package.conf.d/agda-lib-ffi-0.0.2.conf |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2 |
-rw-r--r-- | 2515 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/Data-FFI.html |
-rw-r--r-- | 2787 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/IO-FFI.html |
-rw-r--r-- | 1365 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/agda-lib-ffi.haddock |
-rw-r--r-- | 643 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/agda-lib-ffi.txt |
-rw-r--r-- | 1812 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/doc-index.html |
-rw-r--r-- | 860 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/frames.html |
-rw-r--r-- | 8189 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/haddock-util.js |
-rw-r--r-- | 1684 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/hslogo-16.png |
-rw-r--r-- | 755 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/index-frames.html |
-rw-r--r-- | 1487 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/index.html |
-rw-r--r-- | 1337 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/mini_Data-FFI.html |
-rw-r--r-- | 865 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/mini_IO-FFI.html |
-rw-r--r-- | 56 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/minus.gif |
-rw-r--r-- | 8172 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/ocean.css |
-rw-r--r-- | 59 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/plus.gif |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src |
-rw-r--r-- | 11327 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/synopsis.png |
-rw-r--r-- | 2254 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src/Data-FFI.html |
-rw-r--r-- | 3687 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src/IO-FFI.html |
-rw-r--r-- | 243 | root | root | /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src/hscolour.css |