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)
Thu, Oct 16, 2:54 AM
Unknown Object (File)
Sun, Oct 12, 7:10 AM
Unknown Object (File)
Fri, Oct 10, 5:04 PM
Unknown Object (File)
Sat, Oct 4, 4:25 AM
Unknown Object (File)
Sat, Sep 27, 1:07 AM
Unknown Object (File)
Sep 18 2025, 5:13 AM
Unknown Object (File)
Sep 13 2025, 11:41 PM
Unknown Object (File)
Sep 10 2025, 7:28 AM
View All 87 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

Repository
rP FreeBSD ports repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

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
head/
math/
cryptominisat/
3 lines
6 lines
files/
17 lines
py-cryptominisat/
5 lines
6 lines
files/
14 lines

Diff 54262

View Options

head/math/cryptominisat/Makefile

Loading...
View Options

head/math/cryptominisat/distinfo

Loading...
View Options

head/math/cryptominisat/files/patch-CMakeLists.txt

Loading...
View Options

head/math/py-cryptominisat/Makefile

Loading...
View Options

head/math/py-cryptominisat/distinfo

Loading...
View Options

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

Loading...