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)
Dec 11 2024, 10:00 PM
Unknown Object (File)
Dec 6 2024, 11:56 AM
Unknown Object (File)
Sep 23 2024, 8:01 PM
Unknown Object (File)
Sep 15 2024, 9:22 PM
Unknown Object (File)
Sep 15 2024, 9:18 PM
Unknown Object (File)
Sep 15 2024, 9:18 PM
Unknown Object (File)
Sep 15 2024, 9:05 PM
Unknown Object (File)
Sep 5 2024, 12:40 PM
Subscribers
None

Details

Test Plan

pou testport on 10.4 and CURRENT.

Diff Detail

Lint
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 17371
Build 17204: arc lint + arc unit

Event Timeline

math/z3/Makefile
8

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.