Package: clasp
Priority: extra
Section: universe/interpreters
Installed-Size: 1599
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 3.3.5-5
Recommends: gringo
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/clasp/clasp_3.3.5-5_amd64.deb
Size: 634060
MD5sum: e0a8cb97deb8e3e08c3e92e7e67fb985
SHA1: 05469fb0363c3264230d1dd5ddbac8581d66af42
SHA256: e02d62e2376d536b119b12f3d862cdbd4983bc1910d6efc2f9e0ff0a5df78c9c
SHA512: d3dbcfd632a44997ab711a5dcdc83d35355fbf9e3cc55c52806a434f283a10e47307cf641d33828a4190d7036a244749b515d04b04fff41c85c974b22ab666af
Homepage: https://www.potassco.org/clasp/
Description: conflict-driven nogood learning answer set solver
Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug