Summary: | devel/gecode : update to 5.1.0 | ||||||
---|---|---|---|---|---|---|---|
Product: | Ports & Packages | Reporter: | Demetris Procopiou <dem.procopiou> | ||||
Component: | Individual Port(s) | Assignee: | Jochen Neumeister <joneum> | ||||
Status: | Closed FIXED | ||||||
Severity: | Affects Some People | CC: | joneum | ||||
Priority: | --- | Keywords: | patch-ready | ||||
Version: | Latest | ||||||
Hardware: | Any | ||||||
OS: | Any | ||||||
Attachments: |
|
A commit references this bug: Author: joneum Date: Wed Aug 2 17:26:09 UTC 2017 New revision: 447125 URL: https://svnweb.freebsd.org/changeset/ports/447125 Log: - devel/gecode: Update from 5.0.0 to 5.1.0 - Changelog: http://www.gecode.org/doc-latest/reference/PageChange.html#SectionChanges_5_1_0 PR: 221083 Submitted by: Demetris Procopiou <dem.procopiou@gmail.com> (maintainer) Approved by: tz (mentor) Differential Revision: https://reviews.freebsd.org/D11781 Changes: head/devel/gecode/Makefile head/devel/gecode/distinfo head/devel/gecode/pkg-plist Committed, thanks :-) |
Created attachment 184822 [details] patch - update to 5.1.0 - update pkg-plist