[ubuntu/disco-proposed] cryptominisat 5.6.4+dfsg.1-1ubuntu1 (Accepted)

Dimitri John Ledkov xnox at ubuntu.com
Tue Nov 13 17:07:11 UTC 2018


cryptominisat (5.6.4+dfsg.1-1ubuntu1) disco; urgency=medium

  * Build against default boost.

Date: Tue, 13 Nov 2018 17:03:39 +0000
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/cryptominisat/5.6.4+dfsg.1-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 13 Nov 2018 17:03:39 +0000
Source: cryptominisat
Binary: libcryptominisat5-5.6 cryptominisat python3-cryptominisat libcryptominisat5-dev
Architecture: source
Version: 5.6.4+dfsg.1-1ubuntu1
Distribution: disco
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 cryptominisat - SAT solver command line interface
 libcryptominisat5-5.6 - SAT solver library
 libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
 python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)
Changes:
 cryptominisat (5.6.4+dfsg.1-1ubuntu1) disco; urgency=medium
 .
   * Build against default boost.
Checksums-Sha1:
 0875752d4f82eb475ecbf5d7766879fc8b13b74d 2103 cryptominisat_5.6.4+dfsg.1-1ubuntu1.dsc
 b150da1ce080d2cf40289fab94023f9951c88df2 20048 cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz
 aed340e58f301ca26bfccc0341e240454d2d327c 9048 cryptominisat_5.6.4+dfsg.1-1ubuntu1_source.buildinfo
Checksums-Sha256:
 ba5b85591cc137dc5fbc358add100e2015bf58105016c7a924ac9d7789d37d1a 2103 cryptominisat_5.6.4+dfsg.1-1ubuntu1.dsc
 633e976698292dad83511e0780993d5a3d2ae62c1cc09a1d1596677e65c96501 20048 cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz
 f395025090ae8b1eb16bfe9f6e579f8a03f18a3dbdf24a136d22e4478f7c84e0 9048 cryptominisat_5.6.4+dfsg.1-1ubuntu1_source.buildinfo
Files:
 3f4a83e29365398a3d55446fdb738d98 2103 math optional cryptominisat_5.6.4+dfsg.1-1ubuntu1.dsc
 ec058eb74292b30b6331604a33a89ee5 20048 math optional cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz
 33df0b66fcbd0459fcae78a1d8487f31 9048 math optional cryptominisat_5.6.4+dfsg.1-1ubuntu1_source.buildinfo
Original-Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>

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

iQFEBAEBCgAuFiEEdzyZ69ChEXIhenw/ysLYuc0spfkFAlvrBKkQHHhub3hAdWJ1
bnR1LmNvbQAKCRDKwti5zSyl+RtdCACssefmVmEfNRPtYUF3xVqxqS1oUY8i/Z3o
o2fvq1J5yitKmAtK/ORR1DWBROahSIWx+knphWyaho9HQnWl3lOUuvVIAo6LgjQJ
K858ogoTBzkR29kYNEW7G5f1a2xYjdvVdFXasLkk9WbjdWaUB4aJooZl0TeJFHfg
d/6Uw3+C+K07iDYqLVLrjYMs/VklbavvnW+QPHvYynj48tvfYVXEyjalge0GaOaK
vD2QwWP03E4ARbGFK7xYyxMPxWLoX2jNFb4761RGK5k286B5Sf4LeHhQRlYBfkSt
sYa1qRpUNhg3K/ImkGBN0vb7w8NaBrsOQjhQnlDNNqkyKuw9htQj
=4UFD
-----END PGP SIGNATURE-----


More information about the Disco-changes mailing list