Source Package: depqbf (0.1-1)
Links for depqbf
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [fmv.jku.at]
The following binary packages are built from this source package:
- depqbf
- solver for quantified boolean formulae
Other Packages Related to depqbf
|
|
-
- adep: debhelper (>= 8.0.0)
- debian/rules のヘルパープログラム
Download depqbf
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| depqbf_0.1-1.dsc | 1.2 kB | b447c76be1b9d04cb7d5c7611570ed93 |
| depqbf_0.1.orig.tar.gz | 77.5 kB | c88199216f50052ab4dcb8a4ce0a9dca |
| depqbf_0.1-1.debian.tar.gz | 3.2 kB | aca3ade9cc6621ad22072ad4ba87203b |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/debian-science/packages/depqbf.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=debian-science/packages/depqbf.git;a=summary