Page MenuHomeFreeBSD

math/z3: Update to 4.7.1.
ClosedPublic

Authored by arrowd on Jun 17 2018, 2:01 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Oct 11, 11:14 PM
Unknown Object (File)
Fri, Oct 10, 2:08 AM
Unknown Object (File)
Sun, Oct 5, 1:55 PM
Unknown Object (File)
Mon, Sep 22, 11:02 PM
Unknown Object (File)
Sep 14 2025, 6:39 PM
Unknown Object (File)
Sep 14 2025, 1:40 AM
Unknown Object (File)
Sep 12 2025, 7:45 PM
Unknown Object (File)
Sep 11 2025, 12:07 AM
Subscribers
None

Details

Test Plan

pou testport on 10.4 and CURRENT.

Diff Detail

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

Event Timeline

math/z3/Makefile
8 ↗(On Diff #43943)

You should switch to your @FreeBSD.org address

Apart from the eMail it looks fine.

This revision is now accepted and ready to land.Jun 17 2018, 3:54 PM
This revision was automatically updated to reflect the committed changes.