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
Unknown Object (File)
Sat, Jul 5, 3:18 AM
Unknown Object (File)
Thu, Jul 3, 2:17 AM
Unknown Object (File)
Wed, Jun 25, 3:46 AM
Unknown Object (File)
Sun, Jun 15, 3:24 AM
Unknown Object (File)
Wed, Jun 11, 7:12 AM
Unknown Object (File)
Sat, Jun 7, 10:43 AM
Unknown Object (File)
May 19 2025, 8:38 PM
Unknown Object (File)
May 18 2025, 9:42 AM
View All 77 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...