Back to cryptominisat PTS page

Accepted cryptominisat 5.8.0+dfsg1-1 (source amd64) into unstable, unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 11 Jul 2020 12:11:26 +0200
Source: cryptominisat
Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.8 libcryptominisat5-5.8-dbgsym libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym
Architecture: source amd64
Version: 5.8.0+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 cryptominisat - SAT solver command line interface
 libcryptominisat5-5.8 - SAT solver library
 libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
 python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)
Closes: 960388
Changes:
 cryptominisat (5.8.0+dfsg1-1) unstable; urgency=medium
 .
   * Add patch for reproducible builds. (Closes: #960388)
   * New upstream release.
   * Bump dh-compat to 13.
   * Update d/copyright.
   * Add patch fixing typos.
   * Add patch fixing manpages.
Checksums-Sha1:
 8ba83bd589b486b3709148afcc66edacd76b63bd 2408 cryptominisat_5.8.0+dfsg1-1.dsc
 4b69f26c3bacbc3a36920176e7f7a54626328fb7 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 96288bb3d1c8588622e3ec2cd7a54701a86083d2 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
 4da9410d92b8101fe87b06de44e750884b15345e 1181236 cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 63e31da48296e991e3014607d01e37ceed57bfa1 9684 cryptominisat_5.8.0+dfsg1-1_amd64.buildinfo
 2a20d6ab8d2f6d4e6f9a7168114bb71ce272d4e0 97824 cryptominisat_5.8.0+dfsg1-1_amd64.deb
 fe4aa80bd7c7a54ea3dfbca9df4fa87abf5ca1c5 5903032 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_amd64.deb
 f4098859daff12976734c8fa0149782afb4e705e 438480 libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb
 4ce7d8ca179dfdabf8e98e290bb75f7988ce0575 13660 libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb
 4d3d70fd7bbd5a338a973e9a0d2668c5782be6b2 89592 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 6924e2af6275dd89a9e4a1e693d5b72694311670 18796 python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb
Checksums-Sha256:
 0709206949d931d23a87fb5d2871c5626667b33d16fa14eb3aa02415b7c5e96b 2408 cryptominisat_5.8.0+dfsg1-1.dsc
 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 f0e9f85f6a620a0dabf7e5f47b935684aa6b54d93f065149931733091084635d 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
 592615a29475fbcdc376fa82f6c0d0f92bf9cb53039ee2e98c7af754edc2e661 1181236 cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 1152e50056184c2b4b5127b679274a3c366c62140dd65a1dfcb824104562bf15 9684 cryptominisat_5.8.0+dfsg1-1_amd64.buildinfo
 6395030773acedd0ce1f1d9d3e6f581d21ae709c6209edac84778e276f61092a 97824 cryptominisat_5.8.0+dfsg1-1_amd64.deb
 57c4f776199385b029b7d0e8cb549619c0382451e73636e11c40d299d792c8d1 5903032 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_amd64.deb
 876ad655d56c8824e8e5dce8450c7d93813ca340aad190464515053a27fc1f5f 438480 libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb
 5690741051151553e344d7c1653891277f95af0268434a4327d520eec8a6bb5a 13660 libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb
 58a65974156073bb07e70fd34c8bcfe58c402f83de0d2600dfa5d944cefaca50 89592 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 4aa604548d2a113636366e25108c327f59f0b834e8ed2d737946730196f4941f 18796 python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb
Files:
 ba996f09fe256ede47010d385fda89ac 2408 math optional cryptominisat_5.8.0+dfsg1-1.dsc
 5b867b1bdeda288f3604bbeb42a6fa15 451304 math optional cryptominisat_5.8.0+dfsg1.orig.tar.xz
 e1be00a2c948aadf91a45e670cc33215 6188 math optional cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
 1ebafae888af7dd2510f56c41cf78e36 1181236 debug optional cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 0e894410de9c35ac6d5d2bce1ba143fa 9684 math optional cryptominisat_5.8.0+dfsg1-1_amd64.buildinfo
 2dfd59767713d177ea5d972e936e168f 97824 math optional cryptominisat_5.8.0+dfsg1-1_amd64.deb
 849e4614393803a38c0634a30378305c 5903032 debug optional libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_amd64.deb
 9aed23bd01c0ea450e4c8f7fde89b7e4 438480 libs optional libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb
 e80104e0a8c00ccaf158d4276f14b059 13660 libdevel optional libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb
 d39ddbba15dc1ec4f4f9b03fbd0c36fb 89592 debug optional python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 33fb528afdd29c2eaf97fcba73d6fef9 18796 python optional python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAl8Jx50SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIuEP/iZizVBDEOGFlgxI+uEZFX5AYNchagWK
nzVsqovwowKM0IXAH4MhPAcyLa4AioFmwZp+2BjWdSPlFrd9GTyLXVoHg21DVRkF
OVIY0RdksTsXeTXOS/NqTmqw/g/94EmGVofdabHXIJVnoH+1J6E0Ma5m35YaD7yi
GomZES0d4xypFpvsQ+vJm3+Z6p9ksqMNogfYJmlgqH2q7O4ZYfGiu9sFXkAWcIw5
gf187bswz1/m8nW5qcEzpyQNSoTI9LMcyD/AnPZ7f8BjFCA201JNtbHfbkVUTROO
8CJHUTi4LhMsZ25i7K3yCYternnjrs/5tj5Q0e4MKL5B/X5GwAYKPuNjLoOdHhYI
AOfMf68JI84nL3fMxhHm4WhQwCqe20DBFnMU17uzhXYRN0m+N8KC4hkkn/Y2Ncp5
xKh6nLEo8tqzG3dvzQOfcT8iVt7A3+ikBEbojjZbMHx5gA/6x3mMYes41dMHxGyp
+/PtdTAvRfIT+9fA7QhaHa9snDxA4mbKcy6fwxDDVBgELO4w8TezKVM3hO0A1hQ+
UWaMi0bXgteshUEJdf3GXOKpjwx00ZKyMfp7W8gO4epIw4pFrjE4A46GCCSKrLv0
O9jqwvtdQjkrUskXmUbcxlPglQCUAeaRtuEml+vcI8uHgnQ/YNkXuioZrsCdj2dn
iZknmklWXEos
=WZ92
-----END PGP SIGNATURE-----