[Debian-science-sagemath] Package cryptominisat, an optional dependency of SageMath

[Ximin Luo]

Ximin Luo:
> Julian Rüth:
>> Hello Ximin,
>>
>> thanks a lot for having a look. This feedback was extremely helpful. I
>> uploaded a new version at
>> https://mentors.debian.net/package/cryptominisat that should address all
>> the things you pointed out. The only thing I didn't understand is the
>> FTBFS:
>>
>> * Ximin Luo <infinity0 at debian.org> [2018-08-11 07:20:00 +0000]:
>>> Your package FTBFS for me, there is some symbols mismatch:
>>>
>>> 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_amd64)
>>> +++ dpkg-gensymbolsk7oqn0	2018-08-11 00:14:36.288737896 -0700
>>> @@ -8,13 +8,13 @@
>>>   _Z4calcPKSt6vectorIN5CMSat3LitESaIS1_EEbPNS0_16CMSatPrivateDataEb at Base 5.6.3
>>>   _Z5fromcPK5c_Lit at Base 5.6.3
>>>   _Z5fromcPK7c_lbool at Base 5.6.3
>>> - _ZN11MyOccSorterclERKN5CMSat7WatchedES3_ at Base 5.6.3
>>> - _ZN12StreamBufferIP8_IO_FILE2FNE8skipLineEv at Base 5.6.3
>>> +#MISSING: 5.6.4+dfsg.1-1# _ZN11MyOccSorterclERKN5CMSat7WatchedES3_ at Base 5.6.3
>>> +#MISSING: 5.6.4+dfsg.1-1# _ZN12StreamBufferIP8_IO_FILE2FNE8skipLineEv at Base 5.6.3
>>> [..]
>>> dh_makeshlibs: failing due to earlier errors
>>> debian/rules:7: recipe for target 'binary' failed
>>> make: *** [binary] Error 2
>>
>> I can not reproduce this. How exactly are you building this so I can try
>> to understand what might be the issue?
>>
> 
> I couldn't reproduce this again either so I've run `dch -m -r` and uploaded your package to NEW. Thanks for your contribution to Debian!
> 

cryptominisat was recently accepted into Debian but these symbol difference errors are cropping up again on all buildds:

https://buildd.debian.org/status/package.php?p=cryptominisat
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=914711

Could you take a look please?

Best,
Ximin


-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git