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

[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?

julian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-sagemath/attachments/20180823/4f5d9868/attachment.sig>