[ubuntu/focal-proposed] cryptominisat 5.6.4+dfsg.1-1ubuntu2 (Accepted)

[Matthias Klose]

cryptominisat (5.6.4+dfsg.1-1ubuntu2) focal; urgency=medium

  * No-change rebuild to build with python3.8.

Date: Sat, 25 Jan 2020 04:30:53 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/cryptominisat/5.6.4+dfsg.1-1ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 25 Jan 2020 04:30:53 +0000
Source: cryptominisat
Architecture: source
Version: 5.6.4+dfsg.1-1ubuntu2
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 cryptominisat (5.6.4+dfsg.1-1ubuntu2) focal; urgency=medium
 .
   * No-change rebuild to build with python3.8.
Checksums-Sha1:
 ec66245210b9c974db90a1afa671f78e08567e51 2453 cryptominisat_5.6.4+dfsg.1-1ubuntu2.dsc
 b02e061a5892d4ce4c8b091acac23f5595679b9d 20116 cryptominisat_5.6.4+dfsg.1-1ubuntu2.debian.tar.xz
Checksums-Sha256:
 b8daa19896a9057c5affdffe835c00c6891032bd803d02e328dc898b3470c4f3 2453 cryptominisat_5.6.4+dfsg.1-1ubuntu2.dsc
 20b5c78df24fdc6e683525066a4031fdef6a5e4af115beaa8f03bdf9645cd745 20116 cryptominisat_5.6.4+dfsg.1-1ubuntu2.debian.tar.xz
Files:
 6945e9c1756ed15f45c5cbd765c1d7b0 2453 math optional cryptominisat_5.6.4+dfsg.1-1ubuntu2.dsc
 5a56e39e52dab4825065c03c60c6cc1d 20116 math optional cryptominisat_5.6.4+dfsg.1-1ubuntu2.debian.tar.xz
Original-Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl4rynwQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9R0CD/9LC6VUDkJXlbEr+SV29kLAc8bM7QQvd29a
Ymvsgl9gKHtBjJpEXUHYzrd4jSLttcEVJ2VNfbIpoeBd1epNt0mG5DGdS2bzSLL/
xP080F/1tQIAO0/CCqBkRk+VZ5V71B7/Yzsewwcrql3cZesWAZ78kxht192VyJgT
uZjRciwomkxzJULHk52fTNRDxmxdc9rB76z0UP/g2LvzzsQmHXZ43J0kwxxqx4yD
VCfBavxnn2aIRmQ8D6gOnT/1L3RbvMOwPjKuiGc7jtZUOMhiziMaNEx5vLBdkOQV
znHoCI20wsS1aCZ82cCgeqwSeCAUsjaQ+qgWgXcZ2zVHfDtgv7K/C6DvQDNOcJ92
JqvRBmOMGzmJ3m1Lv6MmjeJZVJo4EZwT9UigeZe8f8p9+koYMb7PW63NjK8Vsefo
jv7/ki+TOAkdjqaQbjvpN4jvEpxaejBTZ1y6QF94C1586LhGI2NSW+GnuaFm1nZ6
SKcMnekp+odaYEl7mYYuHnKPC+/rTOvAGDblj6AwiWXlKRRxZZ/QY22V0ocUDn/a
IE4NpKWH8q5Ihowfr/snImuIi8LU/amq8N5ntwsG/F6g87kENcapiU9QpPKIQAI8
XE17yLszkiqpPOpCTFpH3JnVi1i0csDtaT9hxkSKW8E72pv2BeL2/v/CDXm9BUjr
ElAq9YXV3A==
=FwHK
-----END PGP SIGNATURE-----