Page MenuHomeFreeBSD

math/py-z3-solver: Update 5.0.0.0 => 5.1.0.0
Needs ReviewPublic

Authored by alven on Mon, Aug 17, 11:43 AM.
Tags
None
Referenced Files
F168418848: D58887.id184168.diff
Fri, Aug 28, 4:56 AM
F168416017: D58887.id.diff
Fri, Aug 28, 4:20 AM
F168389343: D58887.id.diff
Thu, Aug 27, 11:04 PM
Unknown Object (File)
Wed, Aug 26, 11:08 AM
Unknown Object (File)
Wed, Aug 26, 4:18 AM
Unknown Object (File)
Tue, Aug 25, 1:22 PM
Unknown Object (File)
Mon, Aug 24, 10:32 PM
Unknown Object (File)
Mon, Aug 24, 3:37 AM
Subscribers

Details

Reviewers
yuri
Test Plan

For every {151amd64, 144amd64, 144i386}:

  • Successful poudriere testport
  • Successful run-testing

Diff Detail

Repository
R11 FreeBSD ports repository
Lint
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 75645
Build 72528: arc lint + arc unit

Event Timeline

alven created this revision.