Page MenuHomeFreeBSD
Differential D16645

math/cryptominisat: Update to 5.6.3.
ClosedPublic
Actions

Authored by arrowd on Aug 9 2018, 3:26 PM.
Tags
None
Referenced Files
F152578448: D16645.id46499.diff
Wed, Apr 15, 6:59 PM
Unknown Object (File)
Wed, Apr 15, 5:31 AM
Unknown Object (File)
Mon, Apr 6, 7:37 AM
Unknown Object (File)
Sun, Apr 5, 9:52 AM
Unknown Object (File)
Mar 15 2026, 9:21 AM
Unknown Object (File)
Mar 15 2026, 12:38 AM
Unknown Object (File)
Mar 11 2026, 1:46 AM
Unknown Object (File)
Dec 12 2025, 8:10 PM
View All 100 Files
Subscribers
None

Details

Reviewers
tcberner
AMDmi3
Commits
rP476818: math/cryptominisat: Update to 5.6.3.

Diff Detail

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

Event Timeline

arrowd created this revision.Aug 9 2018, 3:26 PM
Harbormaster completed remote builds in B18673: Diff 46471.Aug 9 2018, 3:26 PM
tcberner accepted this revision.Aug 9 2018, 7:56 PM

Looks good to me.

This revision is now accepted and ready to land.Aug 9 2018, 7:56 PM
Closed by commit rP476818: math/cryptominisat: Update to 5.6.3. (authored by arrowd). · Explain WhyAug 10 2018, 9:25 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
head/
math/
cryptominisat/
3 lines
6 lines
py-cryptominisat/
3 lines
6 lines

Diff 46499

View Options

head/math/cryptominisat/Makefile

Loading...
View Options

head/math/cryptominisat/distinfo

Loading...
View Options

head/math/py-cryptominisat/Makefile

Loading...
View Options

head/math/py-cryptominisat/distinfo

Loading...