package info
(click to toggle)
minizinc 2.0.14%2Bdfsg1-1
- links: PTS
- area: main
- in suites: stretch
- size: 3,132 kB
- ctags: 3,787
- sloc: cpp: 29,468; ansic: 204; makefile: 11
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 54 | patches |
|
d | rwxr-xr-x | 27 | source |
 |
- | rw-r--r-- | 306 | README.Debian |
|
- | rw-r--r-- | 250 | README.source |
|
- | rw-r--r-- | 1,223 | changelog |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 1,266 | control |
|
- | rw-r--r-- | 21,843 | copyright |
|
- | rw-r--r-- | 58 | docs |
|
- | rw-r--r-- | 52 | links |
|
- | rw-r--r-- | 338 | minizinc.doc-base |
|
- | rw-r--r-- | 40 | minizinc.install |
|
- | rwxr-xr-x | 775 | rules |