package info
(click to toggle)
Folder: debian
| .. (parent) | ||||
| - | rw-r--r-- | 913 | changelog | |
| - | rw-r--r-- | 2 | compat | |
| - | rw-r--r-- | 2,253 | control | |
| - | rw-r--r-- | 631 | copyright | |
| - | rw-r--r-- | 62 | libpolyml-dev.install | |
| - | rw-r--r-- | 23 | libpolyml1.install | |
| - | rw-r--r-- | 958 | libpolyml1.postinst | |
| - | rw-r--r-- | 107 | menu | |
| - | rw-r--r-- | 53 | polyml.install | |
| - | rwxr-xr-x | 2,753 | rules | |
| - | rw-r--r-- | 32 | shlibs.local | |
| - | rw-r--r-- | 178 | watch |
