[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#905391: marked as done (ITP: cryptominisat -- CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver)

Your message dated Fri, 09 Nov 2018 14:11:28 +0000
with message-id <E1gL7VQ-000F8q-Hq@fasolo.debian.org>
and subject line Bug#905391: fixed in cryptominisat 5.6.4+dfsg.1-1
has caused the Debian Bug report #905391,
regarding ITP: cryptominisat -- CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
905391: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=905391
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Julian Rüth <julian.rueth@fsfe.org>

* Package name    : cryptominisat
  Version         : 5.6.3
  Upstream Author : Mate Soos <mate.soos@gmail.com>
* URL             : https://github.com/msoos/cryptominisat
* License         : MIT
  Programming Lang: C++
  Description     : CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver

CryptoMiniSat is a modern SAT solver. The actual cryptominisat binary
links against the cryptominisat shared library that comes with headers
for C/C++ and a Python module.

CryptoMiniSat is an optional dependency of SageMath which has already
been packaged by the debian-science team. I will contact the
debian-science-sagemath list for advice and sponsors for this package.

--- End Message ---
--- Begin Message --- 
Source: cryptominisat
Source-Version: 5.6.4+dfsg.1-1

We believe that the bug you reported is fixed in the latest version of
cryptominisat, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 905391@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julian Rüth <julian.rueth@fsfe.org> (supplier of updated cryptominisat package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----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-----

--- End Message ---
Reply to: