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)
Nov 28 2024, 9:17 AM
Unknown Object (File)
Oct 5 2024, 6:11 PM
Unknown Object (File)
Oct 5 2024, 4:55 PM
Unknown Object (File)
Oct 3 2024, 7:32 PM
Unknown Object (File)
Oct 3 2024, 2:09 PM
Unknown Object (File)
Oct 3 2024, 10:01 AM
Unknown Object (File)
Oct 3 2024, 7:44 AM
Unknown Object (File)
Oct 2 2024, 5:00 PM
View All 61 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...