hi
take
regards
gil
Il 28/08/2015 17:35, Jerry James ha scritto:
I need reviews for a couple of packages. Let me know what I can
review for you in exchange.
- https://bugzilla.redhat.com/show_bug.cgi?id=1252241
gap-pkg-genss, yet another step towards eventually providing
gap-pkg-hap [1] for sagemath to consume. This should be a really easy
review.
- https://bugzilla.redhat.com/show_bug.cgi?id=1256100
cryptominisat4, which is NOT just an updated version of the existing
cryptominisat package, but another beast entirely. I need this to
update to a more recent version of STP, which wants to link against
both the cryptominisat (2.x) and cryptominisat4 libraries.
Footnotes:
[1] For those wondering when the hap package might eventually be
available, I've hit a couple of snags. One of the next packages we
need, gap-pkg-grape, wants to call out to nauty to do its work. But
nauty is barred from Fedora due to usage restrictions in the license.
Elsewhere, we've used the bliss package as a substitute for nauty, but
I'm encountering big problems making that work in this case. Will
keep at it until I figure out what to do. Another step towards
gap-pkg-hap is gap-pkg-homology, which relies on really old versions
of a couple of packages, and won't build at all against the current
versions. I'll have to dig into it and see how to update for current
versions.
--
devel mailing list
devel@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel
Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
