[Bug 211460] math/cryptominisat: Update to 5.0.0

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=211460

Kubilay Kocak <koobs at FreeBSD.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|New                         |Open
           Keywords|                            |needs-qa
            Summary|[MAINTAINER UPDATE]         |math/cryptominisat: Update
                   |math/cryptominisat: to      |to 5.0.0
                   |5.0.0                       |

--- Comment #1 from Kubilay Kocak <koobs at FreeBSD.org> ---
It would be very handy if this package was independently distributed on PyPI,
to avoid having to preprocess the python module files with cmake, that is
really unnecessary. Can you please request this from upstream in the form of a
bug/issue report?

Also please confirm this passes QA (portlint, poudriere)

-- 
You are receiving this mail because:
You are the assignee for the bug.