package info (click to toggle)
sat4j 2.3.5-0.3
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 90,260 kB
  • sloc: java: 50,309; xml: 1,491; lisp: 95; makefile: 36; sh: 35

Folder: debian

d .. (parent)
d d rwxr-xr-x 98 patches
d d rwxr-xr-x 4,096 poms
d d rwxr-xr-x 27 source
- - rw-r--r-- 49 ant.properties
- - rw-r--r-- 5,881 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