Files
| drwxr-xr-x | 4096 | root | root | /usr/include/mona |
| -rw-r--r-- | 12638 | root | root | /usr/include/mona/bdd.h |
| -rw-r--r-- | 3064 | root | root | /usr/include/mona/config.h |
| -rw-r--r-- | 3535 | root | root | /usr/include/mona/dfa.h |
| -rw-r--r-- | 19307 | root | root | /usr/include/mona/dlmalloc.h |
| -rw-r--r-- | 1611 | root | root | /usr/include/mona/gnuc.h |
| -rw-r--r-- | 8276 | root | root | /usr/include/mona/gta.h |
| -rw-r--r-- | 1126 | root | root | /usr/include/mona/mem.h |
| lrwxrwxrwx | 19 | root | root | /usr/lib/libmonabdd.so |
| lrwxrwxrwx | 19 | root | root | /usr/lib/libmonadfa.so |
| lrwxrwxrwx | 19 | root | root | /usr/lib/libmonagta.so |
| lrwxrwxrwx | 19 | root | root | /usr/lib/libmonamem.so |
