Package: minisat Source: minisat2 Version: 1:2.2.1-8 Installed-Size: 361 Maintainer: Michael Tautschnig Architecture: armel Provides: minisat2 Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.5), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4) Description: Fast and lightweight SAT solver Homepage: http://minisat.se/ Description-md5: 638e185d46cca4091c1f6ba3a13b4c28 Tag: field::mathematics, implemented-in::c++, implemented-in::java, role::program Section: science Priority: optional Filename: pool/main/m/minisat2/minisat_2.2.1-8_armel.deb Size: 77596 MD5sum: 51d3e576c453c41bd80c5c60fa34af5b SHA256: e2ee160695120b9eb32f6bd2013502f2522a56b00c57fa6e0591b6509318cbf8 Package: minisat Source: minisat2 Version: 1:2.2.1-8 Installed-Size: 386 Maintainer: Michael Tautschnig Architecture: i386 Provides: minisat2 Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4) Description: Fast and lightweight SAT solver Homepage: http://minisat.se/ Description-md5: 638e185d46cca4091c1f6ba3a13b4c28 Tag: field::mathematics, implemented-in::c++, implemented-in::java, role::program Section: science Priority: optional Filename: pool/main/m/minisat2/minisat_2.2.1-8_i386.deb Size: 92384 MD5sum: 4c6e85b38e05290f6413701b6c90cf66 SHA256: 8fdd2bab29a3f5b3c0abf294cc6c76c6e64f710c03961f5cac2e1c2d3d001c54 Package: minisat Source: minisat2 Version: 1:2.2.1-8 Installed-Size: 406 Maintainer: Michael Tautschnig Architecture: amd64 Provides: minisat2 Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4) Description: Fast and lightweight SAT solver Homepage: http://minisat.se/ Description-md5: 638e185d46cca4091c1f6ba3a13b4c28 Tag: field::mathematics, implemented-in::c++, implemented-in::java, role::program Section: science Priority: optional Filename: pool/main/m/minisat2/minisat_2.2.1-8_amd64.deb Size: 83108 MD5sum: b43a8f43dd86121b60a3d5bf4f2d4e6f SHA256: 0b3a870202e022bea8b04d140ded40d9137363566706750b4540518bc0eb63d7