Paths

Table of Contentst

Differential D58887

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

Authored by alven on Mon, Aug 17, 11:43 AM.

Tags

None

Referenced Files

	Unknown Object (File)
	Mon, Aug 17, 1:33 PM

	Unknown Object (File)
	Mon, Aug 17, 1:31 PM

Subscribers

Details

Reviewers

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 requested review of this revision.Mon, Aug 17, 11:43 AM

alven created this revision.

Harbormaster completed remote builds in B75645: Diff 184168.Mon, Aug 17, 11:43 AM

Revision Contents
Changeset List

Path

Size

math/

py-z3-solver/

5 lines

6 lines

Diff 184168

math/py-z3-solver/Makefile

Loading...

math/py-z3-solver/distinfo

Loading...