Files
| drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.1/Agda-2.3.0.1 |
| -rwxr-xr-x | 17291776 | root | root | /usr/lib/ghc-7.4.1/Agda-2.3.0.1/libHSAgda-2.3.0.1-ghc7.4.1.so |
| drwxr-xr-x | 4096 | root | root | /usr/share/Agda-2.3.0.1 |
| -rw-r--r-- | 1089 | root | root | /usr/share/Agda-2.3.0.1/Agda.css |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc-Agda-2.3.0.1 |
| -rw-r--r-- | 2884 | root | root | /usr/share/doc/ghc-Agda-2.3.0.1/LICENSE |
