This package is 61.4 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/d/depqbf/depqbf_2.0-1_amd64.deb
.
View its full control file here:
debian/control
.
solver for quantified boolean formulae
This package depends on:
libc6 (>= 2.14)
.
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
depqbf 2.0-1 is in ubuntu - trusty / universe. This package's architecture is: amd64.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/depqbf
|
application/x-executable | root:root | 0o755 | 110.3 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/depqbf/
|
root:root | 0o755 | ||
/usr/share/doc/depqbf/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 517 bytes |
/usr/share/doc/depqbf/copyright
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/doc/depqbf/NEWS.gz
|
application/gzip | root:root | 0o644 | 84 bytes |
/usr/share/doc/depqbf/README.gz
|
application/gzip | root:root | 0o644 | 3.1 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/depqbf.1.gz
|
application/gzip | root:root | 0o644 | 1.2 KB |