Your message dated Mon, 11 May 2020 10:00:12 +0000
with message-id <[email protected]>
and subject line Bug#914711: fixed in cryptominisat 5.7.1+dfsg1-1
has caused the Debian Bug report #914711,
regarding cryptominisat FTBFS on amd64: symbol differences
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 [email protected]
immediately.)
--
914711: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=914711
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cryptominisat
Version: 5.6.4+dfsg.1-1
Severity: serious
Tags: ftbfs
https://buildd.debian.org/status/fetch.php?pkg=cryptominisat&arch=amd64&ver=5.6.4%2Bdfsg.1-1%2Bb2&stamp=1543243670&raw=0
...
dh_makeshlibs -a
dpkg-gensymbols: warning: some new symbols appeared in the symbols file: see
diff output below
dpkg-gensymbols: error: some symbols or patterns disappeared in the symbols
file: see diff output below
dpkg-gensymbols: warning: debian/libcryptominisat5-5.6/DEBIAN/symbols doesn't
match completely debian/libcryptominisat5-5.6.symbols
--- debian/libcryptominisat5-5.6.symbols
(libcryptominisat5-5.6_5.6.4+dfsg.1-1+b2_amd64)
+++ dpkg-gensymbolsfEn4DP 2018-11-26 14:47:44.033057438 +0000
@@ -988,6 +988,7 @@
_ZNSt6vectorIN5CMSat9TimestampESaIS1_EE12emplace_backIJS1_EEEvDpOT_@Base 5.6.3
_ZNSt6vectorIN5CMSat9TimestampESaIS1_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS1_S3_EEmRKS1_@Base
5.6.3
_ZNSt6vectorIN5CMSat9TimestampESaIS1_EE17_M_default_appendEm@Base 5.6.3
+
_ZNSt6vectorIN5CMSat9TimestampESaIS1_EE17_M_realloc_insertIJS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base
5.6.4+dfsg.1-1+b2
_ZNSt6vectorIPN5CMSat6ClauseESaIS2_EE17_M_realloc_insertIJS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base
5.6.3
_ZNSt6vectorIPN5CMSat6SolverESaIS2_EE12emplace_backIJS2_EEEvDpOT_@Base 5.6.3
_ZNSt6vectorIPN5CMSat6SolverESaIS2_EE17_M_realloc_insertIJS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base
5.6.3
@@ -1005,8 +1006,9 @@
_ZNSt6vectorISt6threadSaIS0_EE17_M_realloc_insertIJS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_@Base
5.6.3
_ZNSt6vectorISt6threadSaIS0_EED1Ev@Base 5.6.3
_ZNSt6vectorISt6threadSaIS0_EED2Ev@Base 5.6.3
+ _ZNSt6vectorIbSaIbEE13_M_reallocateEm@Base 5.6.4+dfsg.1-1+b2
_ZNSt6vectorIbSaIbEE14_M_fill_insertESt13_Bit_iteratormb@Base 5.6.3
- _ZNSt6vectorIbSaIbEE16_M_shrink_to_fitEv@Base 5.6.3
+#MISSING: 5.6.4+dfsg.1-1+b2# _ZNSt6vectorIbSaIbEE16_M_shrink_to_fitEv@Base
5.6.3
_ZNSt6vectorIcSaIcEE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPcS1_EEmRKc@Base
5.6.3
_ZNSt6vectorIdSaIdEE12emplace_backIJdEEEvDpOT_@Base 5.6.3
_ZNSt6vectorIdSaIdEE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPdS1_EEmRKd@Base
5.6.3
@@ -1034,7 +1036,7 @@
_ZNSt8_Rb_treeIN5CMSat12BinaryClauseES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE16_M_insert_uniqueIS1_EESt4pairISt17_Rb_tree_iteratorIS1_EbEOT_@Base
5.6.3
_ZNSt8_Rb_treeIN5CMSat12BinaryClauseES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE24_M_get_insert_unique_posERKS1_@Base
5.6.3
_ZNSt8_Rb_treeIN5CMSat12BinaryClauseES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8_M_eraseEPSt13_Rb_tree_nodeIS1_E@Base
5.6.3
-
_ZNSt8_Rb_treeIN5CMSat9BinaryXorES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE24_M_get_insert_unique_posERKS1_@Base
5.6.3
+#MISSING: 5.6.4+dfsg.1-1+b2#
_ZNSt8_Rb_treeIN5CMSat9BinaryXorES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE24_M_get_insert_unique_posERKS1_@Base
5.6.3
_ZNSt8_Rb_treeIN5CMSat9BinaryXorES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8_M_eraseEPSt13_Rb_tree_nodeIS1_E@Base
5.6.3
_ZNSt8_Rb_treeIjSt4pairIKjSt6vectorIjSaIjEEESt10_Select1stIS5_ESt4lessIjESaIS5_EE14_M_insert_nodeEPSt18_Rb_tree_node_baseSD_PSt13_Rb_tree_nodeIS5_E@Base
5.6.3
_ZNSt8_Rb_treeIjSt4pairIKjSt6vectorIjSaIjEEESt10_Select1stIS5_ESt4lessIjESaIS5_EE22_M_emplace_hint_uniqueIJRKSt21piecewise_construct_tSt5tupleIJOjEESG_IJEEEEESt17_Rb_tree_iteratorIS5_ESt23_Rb_tree_const_iteratorIS5_EDpOT_@Base
5.6.3
@@ -1103,6 +1105,7 @@
_ZSt22__final_insertion_sortIN9__gnu_cxx17__normal_iteratorIPN5CMSat3LitESt6vectorIS3_SaIS3_EEEENS0_5__ops15_Iter_comp_iterINS2_5Stamp14StampSorterInvEEEEvT_SE_T0_@Base
5.6.3
_ZSt22__final_insertion_sortIN9__gnu_cxx17__normal_iteratorIPN5CMSat3LitESt6vectorIS3_SaIS3_EEEENS0_5__ops15_Iter_less_iterEEvT_SB_T0_@Base
5.6.3
_ZSt22__final_insertion_sortIN9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEENS0_5__ops15_Iter_less_iterEEvT_S9_T0_@Base
5.6.3
+
_ZSt22__move_median_to_firstIN9__gnu_cxx17__normal_iteratorIPN5CMSat11OccurClauseESt6vectorIS3_SaIS3_EEEENS0_5__ops15_Iter_comp_iterISt8functionIFbRKS3_SD_EEEEEvT_SH_SH_SH_T0_@Base
5.6.4+dfsg.1-1+b2
_ZSt22__move_median_to_firstIN9__gnu_cxx17__normal_iteratorIPN5CMSat3BVA15PotentialClauseESt6vectorIS4_SaIS4_EEEENS0_5__ops15_Iter_less_iterEEvT_SC_SC_SC_T0_@Base
5.6.3
_ZSt22__move_median_to_firstIPN5CMSat7WatchedEN9__gnu_cxx5__ops15_Iter_comp_iterINS0_13OccSimplifier25watch_sort_smallest_firstEEEEvT_S9_S9_S9_T0_@Base
5.6.3
_ZSt25__unguarded_linear_insertIN9__gnu_cxx17__normal_iteratorIPN5CMSat11OccurClauseESt6vectorIS3_SaIS3_EEEENS0_5__ops14_Val_comp_iterISt8functionIFbRKS3_SD_EEEEEvT_T0_@Base
5.6.3
dh_makeshlibs: failing due to earlier errors
make: *** [debian/rules:8: binary-arch] Error 2
--- End Message ---
--- Begin Message ---
Source: cryptominisat
Source-Version: 5.7.1+dfsg1-1
Done: Julien Puydt <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 08 May 2020 10:55:25 +0200
Source: cryptominisat
Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.7
libcryptominisat5-5.7-dbgsym libcryptominisat5-dev python3-cryptominisat
python3-cryptominisat-dbgsym
Architecture: source amd64
Version: 5.7.1+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team
<[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
cryptominisat - SAT solver command line interface
libcryptominisat5-5.7 - SAT solver library
libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver
(Python 3)
Closes: 913390 914711 915605 931284 954895
Changes:
cryptominisat (5.7.1+dfsg1-1) unstable; urgency=medium
.
* New upstream release 5.7.1.
* Add myself to the packaging.
* Point Vcs-* fields to salsa.
* Update deps (Closes: #915605, #954895).
* Fix typo in description (Closes: #931284).
* Drop the symbols file (Closes: #913390, #914711).
* Drop d/compat and use dh-compat 12.
* Bump std-ver to 4.5.0.
* Reworked d/copyright.
* Ship upstream manpages.
* Add links from versioned executables to unversioned.
* Update d/copyright's Files-Excluded to new upstream.
* Improve d/watch.
* Drop DEB_LDFLAGS_MAINT_APPEND from d/rules: its value
is now default.
* Add help2man to b-deps.
Checksums-Sha1:
6527eb500a9ed42303af769f1b93753a2a31f62e 2408 cryptominisat_5.7.1+dfsg1-1.dsc
c6e278f17cf0f07c6a15d661468d29afc9c400cc 410248
cryptominisat_5.7.1+dfsg1.orig.tar.xz
adf5e4da988288f771eba6bf4c9a4d910116acde 4692
cryptominisat_5.7.1+dfsg1-1.debian.tar.xz
7623829561fb551c496449c2c5a84983ce7bbf56 1190536
cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb
90d1915e9aed7811bdaa32426e1b9e57b05614e1 9432
cryptominisat_5.7.1+dfsg1-1_amd64.buildinfo
7d48a60367b3044bf0062570108e4831b597d335 93724
cryptominisat_5.7.1+dfsg1-1_amd64.deb
18ab0cf628a2cb2ee6b250d0ac4131899e74113e 5470428
libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_amd64.deb
620a8eab1fbaccb0268d827505a822aa3f9d51f5 401904
libcryptominisat5-5.7_5.7.1+dfsg1-1_amd64.deb
a872528b1d7b86c2bbc532e0c220caa3be58fd9f 12900
libcryptominisat5-dev_5.7.1+dfsg1-1_amd64.deb
5f157d0ce85dc17cbe69a9e4d4f3bc9495905cae 89964
python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb
12071991efaabe82d2f53f91a440795f0401cf41 18768
python3-cryptominisat_5.7.1+dfsg1-1_amd64.deb
Checksums-Sha256:
0f216b930ba3dd7c1179d740a635e3f99ca37505088f47e772616cb5ddbac1ab 2408
cryptominisat_5.7.1+dfsg1-1.dsc
3f0301d0331fb3fe643f8a389b7dacbfe25153c25b68c6f42e84764024503d7e 410248
cryptominisat_5.7.1+dfsg1.orig.tar.xz
6c67e1a05e308a2cebe2457f1e1f8fc7578dfe5c6ac6a6011dadf0e69d7f3895 4692
cryptominisat_5.7.1+dfsg1-1.debian.tar.xz
3d43c36cd6b6972e4b08c21262d52c4b4411d6933995ae5eb547402a00e8fac4 1190536
cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb
790769a2defd6acf6098fd3c8871aa579c75e450e24909d15bd7a36d1ddaa51a 9432
cryptominisat_5.7.1+dfsg1-1_amd64.buildinfo
81ab3f47cd566b9c856e37ff0d894c033ad92b5ff174c52d405ce3e45e0e9961 93724
cryptominisat_5.7.1+dfsg1-1_amd64.deb
bf125b36fb4a9117e636160d8df0a2566c4a73602741d6616c1f6013bb9f4d9b 5470428
libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_amd64.deb
c623f6cfa28ee3e862de764b2a20dd642d423d356d788e0f5ff90641dfa536a0 401904
libcryptominisat5-5.7_5.7.1+dfsg1-1_amd64.deb
9822396cf12363f6375639e78cf5e2880f407260f03a58a7714d78ce8ee34bbe 12900
libcryptominisat5-dev_5.7.1+dfsg1-1_amd64.deb
0e32750cf66bffdbb83957bdd249a578f294fd105d9756361a6a1a7c8acdd952 89964
python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb
550b54bc33d773e2a61e126721b446b1329ef90b9326383f88e75aa766bde5fc 18768
python3-cryptominisat_5.7.1+dfsg1-1_amd64.deb
Files:
220e239b4bff1615a20d270bb031d8f5 2408 math optional
cryptominisat_5.7.1+dfsg1-1.dsc
328eecebc7a718aa918914eff506ce5b 410248 math optional
cryptominisat_5.7.1+dfsg1.orig.tar.xz
17d8500ab2ff4650cd774edaa3403e41 4692 math optional
cryptominisat_5.7.1+dfsg1-1.debian.tar.xz
3c48adee145f642f75d656b209b45e23 1190536 debug optional
cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb
561446b77ae4f9bf091307b368680014 9432 math optional
cryptominisat_5.7.1+dfsg1-1_amd64.buildinfo
cc3ad9ab59efef063c9312c67b5bf13f 93724 math optional
cryptominisat_5.7.1+dfsg1-1_amd64.deb
cfd49fd8ae2e1b17df395ab02b721a5d 5470428 debug optional
libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_amd64.deb
6ab44c335c31118994236025f0da2095 401904 libs optional
libcryptominisat5-5.7_5.7.1+dfsg1-1_amd64.deb
aff288e0d9d04a9761785912c35a8ccb 12900 libdevel optional
libcryptominisat5-dev_5.7.1+dfsg1-1_amd64.deb
55b722079e4bf674286c3c53b5daec75 89964 debug optional
python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb
40b8f9b1b08e4e90516ec0754216b8ed 18768 python optional
python3-cryptominisat_5.7.1+dfsg1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAl61LlwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJQYP+wU3x649aRA3oiMUEw+GCFMj/2jD7wTb
V76e3+0dfA56MFObJq33TaTPJ10oNaeQ61O9lOtPtrIRUPv8Y1si32/+/mLJKSR1
F1IZ+nSq+Dkmr5UKU4Oc+pq5WcFfNVccN2a6qKT+olwC/FwwOwQCSBL8S2xYyWPu
GAdLHdSuqna9nxwvyjwPMOhK27S1Hh80pCOu65sdwxT0+w5Vhr51xOT/Yi9OSejy
8l7ffOt0ryY8hmsVL3LVW/FR/ACKthr5SOsU/t404p07J6MBQkE1qpC7oGyWqhdf
IO5CEgMhoI0VI0DR2By6b9O4qesLqvP22kUBOeMJkPkVGERHyEZzdzqoce2xRJRn
IkN59y9zLkYTWdTFRI8jSkTXg5wT3sTS/rzpDvEZV93+ZCdgo+Z7vMZssrICYtLI
dvuLIwu9SC9fTOBu+6e/4gyG6V5PE7GTMxTqTPDmBwIcQNip23qjxdOrlC63M+yB
5ZwYbFXpv3U2jpBxQKPqsN4kMBMbq5Yuw70ZMO1cEu6LxHPjVzyxNgJkQhYJ4y/C
duhyToiPtqvYXhBo/J/+ehzMqoqxDwr5phX14xrlBlPkmwcozLKBJOCsL4AOT0Fm
dMeP0lOgSdwT8iNTq3YT7zheYqG1YXM1wy05403jzo/gEFGJyoGkjcOBOurfGOsM
fbrRTh8FelLo
=6fo8
-----END PGP SIGNATURE-----
--- End Message ---
