Bug#914711: cryptominisat FTBFS on amd64: symbol differences

[Adrian Bunk]

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_ at Base 5.6.3
  _ZNSt6vectorIN5CMSat9TimestampESaIS1_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS1_S3_EEmRKS1_ at Base 5.6.3
  _ZNSt6vectorIN5CMSat9TimestampESaIS1_EE17_M_default_appendEm at Base 5.6.3
+ _ZNSt6vectorIN5CMSat9TimestampESaIS1_EE17_M_realloc_insertIJS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_ at Base 5.6.4+dfsg.1-1+b2
  _ZNSt6vectorIPN5CMSat6ClauseESaIS2_EE17_M_realloc_insertIJS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 5.6.3
  _ZNSt6vectorIPN5CMSat6SolverESaIS2_EE12emplace_backIJS2_EEEvDpOT_ at Base 5.6.3
  _ZNSt6vectorIPN5CMSat6SolverESaIS2_EE17_M_realloc_insertIJS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 5.6.3
@@ -1005,8 +1006,9 @@
  _ZNSt6vectorISt6threadSaIS0_EE17_M_realloc_insertIJS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_ at Base 5.6.3
  _ZNSt6vectorISt6threadSaIS0_EED1Ev at Base 5.6.3
  _ZNSt6vectorISt6threadSaIS0_EED2Ev at Base 5.6.3
+ _ZNSt6vectorIbSaIbEE13_M_reallocateEm at Base 5.6.4+dfsg.1-1+b2
  _ZNSt6vectorIbSaIbEE14_M_fill_insertESt13_Bit_iteratormb at Base 5.6.3
- _ZNSt6vectorIbSaIbEE16_M_shrink_to_fitEv at Base 5.6.3
+#MISSING: 5.6.4+dfsg.1-1+b2# _ZNSt6vectorIbSaIbEE16_M_shrink_to_fitEv at Base 5.6.3
  _ZNSt6vectorIcSaIcEE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPcS1_EEmRKc at Base 5.6.3
  _ZNSt6vectorIdSaIdEE12emplace_backIJdEEEvDpOT_ at Base 5.6.3
  _ZNSt6vectorIdSaIdEE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPdS1_EEmRKd at Base 5.6.3
@@ -1034,7 +1036,7 @@
  _ZNSt8_Rb_treeIN5CMSat12BinaryClauseES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE16_M_insert_uniqueIS1_EESt4pairISt17_Rb_tree_iteratorIS1_EbEOT_ at Base 5.6.3
  _ZNSt8_Rb_treeIN5CMSat12BinaryClauseES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE24_M_get_insert_unique_posERKS1_ at Base 5.6.3
  _ZNSt8_Rb_treeIN5CMSat12BinaryClauseES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8_M_eraseEPSt13_Rb_tree_nodeIS1_E at Base 5.6.3
- _ZNSt8_Rb_treeIN5CMSat9BinaryXorES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE24_M_get_insert_unique_posERKS1_ at 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_ at Base 5.6.3
  _ZNSt8_Rb_treeIN5CMSat9BinaryXorES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8_M_eraseEPSt13_Rb_tree_nodeIS1_E at Base 5.6.3
  _ZNSt8_Rb_treeIjSt4pairIKjSt6vectorIjSaIjEEESt10_Select1stIS5_ESt4lessIjESaIS5_EE14_M_insert_nodeEPSt18_Rb_tree_node_baseSD_PSt13_Rb_tree_nodeIS5_E at 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_ at 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_ at Base 5.6.3
  _ZSt22__final_insertion_sortIN9__gnu_cxx17__normal_iteratorIPN5CMSat3LitESt6vectorIS3_SaIS3_EEEENS0_5__ops15_Iter_less_iterEEvT_SB_T0_ at Base 5.6.3
  _ZSt22__final_insertion_sortIN9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEENS0_5__ops15_Iter_less_iterEEvT_S9_T0_ at 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_ at 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_ at Base 5.6.3
  _ZSt22__move_median_to_firstIPN5CMSat7WatchedEN9__gnu_cxx5__ops15_Iter_comp_iterINS0_13OccSimplifier25watch_sort_smallest_firstEEEEvT_S9_S9_S9_T0_ at Base 5.6.3
  _ZSt25__unguarded_linear_insertIN9__gnu_cxx17__normal_iteratorIPN5CMSat11OccurClauseESt6vectorIS3_SaIS3_EEEENS0_5__ops14_Val_comp_iterISt8functionIFbRKS3_SD_EEEEEvT_T0_ at Base 5.6.3
dh_makeshlibs: failing due to earlier errors
make: *** [debian/rules:8: binary-arch] Error 2