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
F154914453: D19302.diff
Thu, Apr 30, 12:35 AM
F154913635: D19302.diff
Thu, Apr 30, 12:25 AM
Unknown Object (File)
Fri, Apr 24, 1:43 PM
Unknown Object (File)
Thu, Apr 23, 11:43 PM
Unknown Object (File)
Wed, Apr 22, 10:12 PM
Unknown Object (File)
Sun, Apr 19, 3:50 AM
Unknown Object (File)
Mon, Apr 13, 4:44 PM
Unknown Object (File)
Wed, Apr 8, 10:13 AM
View All 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...