all options
squeeze-backports  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]

Source Package: clasp (2.0.6-2)

Links for clasp

Debian Resources:


External Resources:

The following binary packages are built from this source package:
conflict-driven nogood learning answer set solver

Other Packages Related to clasp

  • build-depends
  • build-depends-indep

Download clasp

FileSize (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)
Debian Package Source Repository (Browsable)