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)
Feb 14 2024, 8:28 AM
Unknown Object (File)
Dec 24 2023, 3:59 PM
Unknown Object (File)
Dec 24 2023, 3:59 PM
Unknown Object (File)
Dec 24 2023, 3:59 PM
Unknown Object (File)
Dec 24 2023, 3:46 PM
Unknown Object (File)
Dec 20 2023, 3:41 AM
Unknown Object (File)
Oct 23 2023, 5:42 PM
Unknown Object (File)
Sep 11 2023, 4:50 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.