Source Package: clasp (2.0.6-2)
Links for clasp
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [www.cs.uni-potsdam.de]
The following binary packages are built from this source package:
- clasp
- conflict-driven nogood learning answer set solver
Other Packages Related to clasp
|
|
-
- adep: debhelper (>= 8.0.0)
- Programy pomocnicze do debian/rules
-
- adep: libtbb-dev (>= 3.0+r018) [amd64 ia64 ppc64]
- parallelism library for C++ - development files
Download clasp
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| clasp_2.0.6-2.dsc | 1.9 kB | 8ec93c64106bd1fa29588983d5b36ba8 |
| clasp_2.0.6.orig.tar.gz | 372.2 kB | b2165482a480dc6ab5cdd59bba38dffd |
| clasp_2.0.6-2.debian.tar.gz | 6.1 kB | 1275ec6de4abf4ac09e461343124b122 |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/git/debian-science/packages/clasp.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=debian-science/packages/clasp.git