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

Source Package: clasp (2.0.2-1~bpo60+1) [backports]

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.2-1~bpo60+1.dsc 1.3 kB 41b3fc3f4b79a121b856a079edb2a07d
clasp_2.0.2.orig.tar.gz 358.3 kB 4e5f63ccf95b6b2150478d68a13e7e09
clasp_2.0.2-1~bpo60+1.debian.tar.gz 5.7 kB 51f4e8175ca0dd5823f4238998dd16e7
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)