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

[Ximin Luo]

Hey Julian, thanks for doing this.

Did you have a specific reason for choosing the library package naming scheme libcryptominisat5-5.6 and libcryptominisat5-5.6-dev? Common Debian convention would be to call the packages lib${NAME}${SOVERSION} and lib${NAME}-dev, so it would normally be libcryptominisat5.6 and libcryptominisat-dev.

See https://www.debian.org/doc/debian-policy/ch-sharedlibs.html for details.

X

Julian Rüth:
> Hello,
> 
> I just uploaded my cryptominisat package to
> https://mentors.debian.net/package/cryptominisat.
> 
> I tried it out locally and it seems to work fine. I am now looking for a
> sponsor. If somebody wants to have a look that would be great!
> 
> thanks,
> 
> julian
> 
> * Julian Rüth <julian.rueth at fsfe.org> [2018-08-04 02:11:28 +0200]:
> 
>> Hello,
>>
>> I just created ITP #905391 to package cryptominisat, a SAT solver that
>> is an optional SageMath dependency.
>>
>> I started packaging cryptominisat here
>> https://salsa.debian.org/saraedum-guest/cryptominisat. I had a few minor
>> patches that upstream has already included so I am currently waiting for
>> the next release so I can drop a few remaining TODOs from the debian/
>> directory.
>>
>> Currently cryptominisat builds and lintian is happy but I have not
>> tested that the resulting packages actually work. Anyway, if somebody
>> wants to have a look already and give some feedback that would be great
>> :)
>>

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