Accepted cryptominisat 5.6.4+dfsg.1-1 (amd64 source) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 28 Aug 2018 20:29:05 PDT
Source: cryptominisat
Binary: libcryptominisat5-5.6 cryptominisat python3-cryptominisat libcryptominisat5-dev
Architecture: amd64 source
Version: 5.6.4+dfsg.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Julian Rüth <julian.rueth@fsfe.org>
Description:
libcryptominisat5-5.6 - SAT solver library
cryptominisat - SAT solver command line interface
python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)
libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
Closes: 905391
Changes:
cryptominisat (5.6.4+dfsg.1-1) unstable; urgency=low
.
* Initial release. Stripped the upstream tarball of parts of the non-free
docs/ directory. Closes: #905391
Checksums-Sha256:
fddb55528d8fc36bf95821293709c5612df7ad1a125929c578e6412e4d982813 1089308 cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
cac00c7225cea33ff98b0cf20543056936b8921190b6994c4ae8dfc578afeb74 8347 cryptominisat_5.6.4+dfsg.1-1_amd64.buildinfo
b45e44a26d229a1091b853666f2aa97fdca25eb54ee03fa5f81de70d4fea26be 79496 cryptominisat_5.6.4+dfsg.1-1_amd64.deb
bf8e732f3e64044207efa3174b014d27fc58be893df031e8240e219642bae83a 6101680 libcryptominisat5-5.6-dbgsym_5.6.4+dfsg.1-1_amd64.deb
c78cf6ac053d552e18a1f95fa4d6a21965f95f85ff40495d91b83d360a86d664 368988 libcryptominisat5-5.6_5.6.4+dfsg.1-1_amd64.deb
6eb64fc6887f5b08168889c2d70e799df1cd6c1ffee38ce19dc0ee7ce8b6ac7b 11568 libcryptominisat5-dev_5.6.4+dfsg.1-1_amd64.deb
a70064e55c20664398ef0321fc3f922e16fa8818ad31ebd70b6e8f57e60da150 80852 python3-cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
e56d66c44bcef57db164a6ec098506321af28ef93e23e286c4693b304eacc5ca 17012 python3-cryptominisat_5.6.4+dfsg.1-1_amd64.deb
0a7ea309a3fc5a37d7b56394e940436d04f7c08c6ae5038a9eefad6dc241339e 1720 cryptominisat_5.6.4+dfsg.1-1.dsc
fd798d47680a263634de1a4fe8e9e6abbd85a770c4fb425926e2a352d4f63296 492403 cryptominisat_5.6.4+dfsg.1.orig.tar.gz
dca76600c2ffda1a75850c30bb54daa9a662844e8a4ff0d9204ab8b8a52539ab 19928 cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz
Checksums-Sha1:
02d9a04d23c1d6717f4ff38810bf7088660ac334 1089308 cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
bb141b7c44dba8b2d4ec3f50208628d0dae18597 8347 cryptominisat_5.6.4+dfsg.1-1_amd64.buildinfo
fd44148eb7af7936693ee7e4d39604353e45c42a 79496 cryptominisat_5.6.4+dfsg.1-1_amd64.deb
112b50dce8ee2a755285fc097b4712a70679c12e 6101680 libcryptominisat5-5.6-dbgsym_5.6.4+dfsg.1-1_amd64.deb
e214e6a5fb44b48a72222f9ea5ff5b4a19c0e386 368988 libcryptominisat5-5.6_5.6.4+dfsg.1-1_amd64.deb
7933e2fa20acb24d070945683842d857be70d9ab 11568 libcryptominisat5-dev_5.6.4+dfsg.1-1_amd64.deb
26cb1f1097735edc6ad4a794907c35b22c6ae130 80852 python3-cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
7ad593a38c9ac0edc1610d4e809dfe5df7aae3c1 17012 python3-cryptominisat_5.6.4+dfsg.1-1_amd64.deb
23abbcd17b501c60e29ec366748d3f3070b3c0f6 1720 cryptominisat_5.6.4+dfsg.1-1.dsc
77e6ce504ccf6be79d639f778b176291cf30ddbc 492403 cryptominisat_5.6.4+dfsg.1.orig.tar.gz
627cdafbd0355bc418eaa8a0a9560d22abb9b5c1 19928 cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz
Files:
259edbd236f75f08c3289ed080991191 1089308 debug optional cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
e150885b32d699c2844a26714c038a88 8347 math optional cryptominisat_5.6.4+dfsg.1-1_amd64.buildinfo
67806144da440f876d2142df3412fceb 79496 math optional cryptominisat_5.6.4+dfsg.1-1_amd64.deb
1977aac2b54b73a2a9914876408d955a 6101680 debug optional libcryptominisat5-5.6-dbgsym_5.6.4+dfsg.1-1_amd64.deb
bc9efb65874346b9b4e389b4f294001d 368988 libs optional libcryptominisat5-5.6_5.6.4+dfsg.1-1_amd64.deb
f366bebddf75dbf6a4e957f2d9039f79 11568 libdevel optional libcryptominisat5-dev_5.6.4+dfsg.1-1_amd64.deb
90ba2ffc063db90443327f5d5d0b8f1d 80852 debug optional python3-cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
5b8d5ba406e4ab88e9bd35d08aef2be0 17012 python optional python3-cryptominisat_5.6.4+dfsg.1-1_amd64.deb
15e836e46b4b7584d89fe3312f39974c 1720 math optional cryptominisat_5.6.4+dfsg.1-1.dsc
02ae93872c6e0231a4d1b3ea02416af3 492403 - - cryptominisat_5.6.4+dfsg.1.orig.tar.gz
02f9fd551338e510b8c44bac8e318fc2 19928 - - cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iHUEARYKAB0WIQReYinNQ9GpZ9TYcRrrH8jaRfspMAUCW4YTCgAKCRDrH8jaRfsp
MO5qAP9R2wFLxCpIQs39gjqZ+aK6mzIo5yz8echqRG+cCrOE5AD8DfeZ1N54shag
pv+MUrmiZwrnUa+dIpE0/GHLDezqnQg=
=B0Ux
-----END PGP SIGNATURE-----