package info
(click to toggle)
sat4j 2.3.5-0.2
- links: PTS
- area: main
- in suites: stretch
- size: 90,224 kB
- ctags: 8,137
- sloc: java: 50,309; xml: 1,489; lisp: 95; makefile: 36; sh: 35
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 73 | patches |
|
d | rwxr-xr-x | 4,096 | poms |
|
d | rwxr-xr-x | 19 | source |
 |
- | rw-r--r-- | 49 | ant.properties |
|
- | rw-r--r-- | 5,670 | changelog |
|
- | rw-r--r-- | 3 | compat |
|
- | rw-r--r-- | 890 | control |
|
- | rw-r--r-- | 15,659 | copyright |
|
- | rw-r--r-- | 8 | dirs |
|
- | rw-r--r-- | 194 | links |
|
- | rw-r--r-- | 15 | manpages |
|
- | rwxr-xr-x | 2,931 | rules |
|
- | rw-r--r-- | 1,473 | sat4j.1 |
|
- | rw-r--r-- | 2,096 | sat4j.poms |
|
- | rw-r--r-- | 65 | sat4j.sh |
|
- | rw-r--r-- | 463 | watch |