Changelogs:
- https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4153
- https://github.com/Z3Prover/z3/compare/z3-4.14.1...z3-4.15.3
- Pet portfmt(1) and portlint(1)
Details
Details
- Reviewers
arrowd db yuri - Commits
- R11:3c05ad1d2a4f: math/z3: Update 4.14.1.0 => 4.15.3.0
For every {amd64, i386} × {14.3, 13.5}:
- Successful poudriere testport
- Successful run-testing
Diff Detail
Diff Detail
- Repository
- R11 FreeBSD ports repository
- Lint
No Lint Coverage - Unit
No Test Coverage - Build Status
Buildable 67223 Build 64106: arc lint + arc unit