[Bug 211460] math/cryptominisat math/py-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
----------------------------------------------------------------------------
            Summary|math/cryptominisat: Update  |math/cryptominisat
                   |to 5.0.0                    |math/py-cryptominisat:
                   |                            |Update to 5.0.0

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