Package: clasp
Binary: clasp
Version: 3.3.5-4.2
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Build-Depends: debhelper-compat (= 13), dpkg-dev (>= 1.16.1~), catch, cmake (>= 3.1.0)
Architecture: any
Standards-Version: 4.5.1
Format: 3.0 (quilt)
Files: 7013dad61b610dfb34a2d940b1c790e0 2015 clasp_3.3.5-4.2.dsc
 65be9d4c720053e89c31fb2f9d718b69 831051 clasp_3.3.5.orig.tar.gz
 8f747c7997d9752c223fad57ce340150 10356 clasp_3.3.5-4.2.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/science-team/clasp
Vcs-Git: https://salsa.debian.org/science-team/clasp.git
Checksums-Sha256: 3f7779249406ba72560a20fef48dad036f88691ad2a69d31a8502f6644156080 2015 clasp_3.3.5-4.2.dsc
 c0204b85ea3453af9372d8c7ffcb11306d5279b68c4d4af056f3fad65fe50724 831051 clasp_3.3.5.orig.tar.gz
 076b8691a0f5dd773d2880632d308b90e98f925ee4bbe347da1eda1fcfc73a45 10356 clasp_3.3.5-4.2.debian.tar.xz
Homepage: https://www.potassco.org/clasp/
Package-List: clasp deb interpreters optional arch=any
Testsuite: autopkgtest
Testsuite-Triggers: gringo
Directory: pool/main/c/clasp
Priority: source
Section: interpreters

Package: clasp
Version: 3.3.5-4.2
Installed-Size: 1506
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: armel
Depends: libatomic1 (>= 4.8), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libstdc++6 (>= 12)
Recommends: gringo
Description: conflict-driven nogood learning answer set solver
Homepage: https://www.potassco.org/clasp/
Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b
Tag: implemented-in::c++, role::program
Section: interpreters
Priority: optional
Filename: pool/main/c/clasp/clasp_3.3.5-4.2_armel.deb
Size: 528312
MD5sum: cb6575cacdff35724b266446b6db8b81
SHA256: a9d18207501867cf9bea83043e5a8b348b95ad6c46e14e83f4d7ffeaf8a892a2

Package: clasp
Version: 3.3.5-4.2
Installed-Size: 1719
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 12)
Recommends: gringo
Description: conflict-driven nogood learning answer set solver
Homepage: https://www.potassco.org/clasp/
Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b
Tag: implemented-in::c++, role::program
Section: interpreters
Priority: optional
Filename: pool/main/c/clasp/clasp_3.3.5-4.2_amd64.deb
Size: 629252
MD5sum: 6e6ecaec37aba4758c1394d626706c5a
SHA256: a199884c447fae7f281ed828f52ad08f480b5894562ce2a35bcc44ced51eabaf

Package: clasp
Version: 3.3.5-4.2
Installed-Size: 1822
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Depends: libc6 (>= 2.34), libgcc-s1 (>= 7), libstdc++6 (>= 12)
Recommends: gringo
Description: conflict-driven nogood learning answer set solver
Homepage: https://www.potassco.org/clasp/
Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b
Tag: implemented-in::c++, role::program
Section: interpreters
Priority: optional
Filename: pool/main/c/clasp/clasp_3.3.5-4.2_i386.deb
Size: 688972
MD5sum: 51bb41a73c17b868af0654171d3db0a7
SHA256: ec3eac1db6870efbc2123f66c439d0462dc97af0bbf548078903597d49784983

Package: clasp
Version: 3.3.5-4.2
Installed-Size: 2048
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: mipsel
Depends: libatomic1 (>= 4.8), libc6 (>= 2.34), libgcc-s1 (>= 4.2), libstdc++6 (>= 12)
Recommends: gringo
Description: conflict-driven nogood learning answer set solver
Homepage: https://www.potassco.org/clasp/
Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b
Tag: implemented-in::c++, role::program
Section: interpreters
Priority: optional
Filename: pool/main/c/clasp/clasp_3.3.5-4.2_mipsel.deb
Size: 602824
MD5sum: f8904ccbb1d4a617d51b8e14b443ee8b
SHA256: c276847db8c1989727e8cec75b1e91275efa8410d8bb8a4a591925bfb3b5e16b