Jochen Neumeister 9a3f8c20bd - 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		2017-08-02 17:26:09 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist