Package: aspcud
Architecture: amd64
Version: 1:1.9.5-1ubuntu1
Priority: extra
Section: universe/admin
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 370
Provides: cudf-solver
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
Filename: pool/universe/a/aspcud/aspcud_1.9.5-1ubuntu1_amd64.deb
Size: 122138
MD5sum: 153c0eb17b5592f2f3634f9b8a96a76d
SHA1: 564f184298920ed6aab7aaa5a62bed6c3b89bdc8
SHA256: d7206cb62f0817d5fe2f25cadcb8373fe0c832564ac90ea4ec73e6ef1410d075
SHA512: 0eabf3de4f299a9108535a1c32e39912dd52da92d42fd4751141baf3fbf50270a3c4cea60f8612c0a166edec1d8a8e83c37b77c405bf913a98255214d2afc03a
Homepage: https://potassco.org/aspcud/
Description: CUDF solver based on Answer Set Programming
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9