Page MenuHomeFreeBSD
Differential D19302

Update math/[py-]cryptominisat to 5.6.8.
ClosedPublic
Actions

Authored by arrowd on Feb 23 2019, 7:28 AM.
Tags
None
Referenced Files
F131002572: D19302.id54243.diff
Sat, Oct 4, 4:25 AM
Unknown Object (File)
Sat, Sep 27, 1:07 AM
Unknown Object (File)
Thu, Sep 18, 5:13 AM
Unknown Object (File)
Sat, Sep 13, 11:41 PM
Unknown Object (File)
Wed, Sep 10, 7:28 AM
Unknown Object (File)
Aug 5 2025, 6:09 AM
Unknown Object (File)
Aug 1 2025, 1:57 AM
Unknown Object (File)
Jul 5 2025, 3:18 AM
View All 84 Files
Subscribers
None

Details

Reviewers
tcberner
Group Reviewers
Contributor Reviewers (ports)
Commits
rP493704: math/cryptominisat and math/py-cryptominisat to 5.6.8.
Test Plan

poud testport with FLAVOR={py27,py36}.

Diff Detail

Lint
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 22664
Build 21768: arc lint + arc unit

Event Timeline

arrowd created this revision.Feb 23 2019, 7:28 AM
Harbormaster completed remote builds in B22664: Diff 54243.Feb 23 2019, 7:28 AM
tcberner accepted this revision.Feb 23 2019, 8:57 AM

Looks good to me.

This revision is now accepted and ready to land.Feb 23 2019, 8:57 AM
Closed by commit rP493704: math/cryptominisat and math/py-cryptominisat to 5.6.8. (authored by arrowd). · Explain WhyFeb 23 2019, 4:32 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
math/
cryptominisat/
3 lines
6 lines
files/
py-cryptominisat/
5 lines
6 lines
files/
14 lines

Diff 54243

View Options

math/cryptominisat/Makefile

Loading...
View Options

math/cryptominisat/distinfo

Loading...
View Options

math/cryptominisat/files/patch-CMakeLists.txt

Loading...
View Options

math/py-cryptominisat/Makefile

Loading...
View Options

math/py-cryptominisat/distinfo

Loading...
View Options

math/py-cryptominisat/files/patch-setup.py.in

Loading...