package info
(click to toggle)
Folder: debian
![]() |
.. (parent) | |||
![]() |
d | rwxr-xr-x | 4,096 | patches |
![]() |
d | rwxr-xr-x | 27 | source |
![]() |
- | rw-r--r-- | 666 | README.Debian |
![]() |
- | rw-r--r-- | 245 | README.source |
![]() |
- | rw-r--r-- | 546 | changelog |
![]() |
- | rw-r--r-- | 437 | clean |
![]() |
- | rw-r--r-- | 979 | control |
![]() |
- | rw-r--r-- | 18,811 | copyright |
![]() |
- | rw-r--r-- | 130 | gecode-flatzinc.install |
![]() |
- | rw-r--r-- | 102 | gecode-flatzinc.lintian-overrides |
![]() |
- | rwxr-xr-x | 1,021 | rules |