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

[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
> :)
> 
> thanks,
> 
> 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/20180808/1a8affaa/attachment.sig>