Paths

Table of Contentst

5.1.0.0
ClosedPublic
Actions

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

Tags

None

Referenced Files

	Unknown Object (File)
	Fri, Sep 11, 11:53 AM

	Unknown Object (File)
	Fri, Sep 11, 1:21 AM

	Unknown Object (File)
	Wed, Sep 9, 4:42 AM

	Unknown Object (File)
	Tue, Sep 8, 2:54 AM

	Unknown Object (File)
	Mon, Sep 7, 11:27 PM

	Unknown Object (File)
	Mon, Sep 7, 4:42 PM

	Unknown Object (File)
	Mon, Sep 7, 4:30 PM

	Unknown Object (File)
	Mon, Sep 7, 11:08 AM

View All 36 Files

Subscribers

yuri

Details

Reviewers

yuri

Commits

R11:8f70cb04aefb: math/py-z3-solver: Update 5.0.0.0 => 5.1.0.0

Test Plan

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

Successful poudriere testport
Successful run-testing

Diff Detail

Repository

R11 FreeBSD ports repository

Lint

Lint Not Applicable

Unit

Tests Not Applicable

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

yuri accepted this revision.Sun, Aug 30, 7:38 AM

This revision is now accepted and ready to land.Sun, Aug 30, 7:38 AM

Closed by commit R11:8f70cb04aefb: math/py-z3-solver: Update 5.0.0.0 => 5.1.0.0 (authored by alven). · Explain WhySun, Aug 30, 11:19 AM

This revision was automatically updated to reflect the committed changes.

alven added a commit: R11:8f70cb04aefb: math/py-z3-solver: Update 5.0.0.0 => 5.1.0.0.

Revision Contents
Changeset List

Path

Size

math/

py-z3-solver/

Makefile

5 lines

distinfo

6 lines

Diff 185437

View Options

math/py-z3-solver/Makefile