Bartek Rutkowski 0cd4d3a08e devel/gecode: update 4.3.0 -> 4.3.2 ... Approved by: mentors (implicit)		2014-11-07 16:03:19 +00:00
..
files
distinfo	devel/gecode: update 4.3.0 -> 4.3.2	2014-11-07 16:03:19 +00:00
Makefile	devel/gecode: update 4.3.0 -> 4.3.2	2014-11-07 16:03:19 +00:00
pkg-descr
pkg-plist	devel/gecode: update 4.3.0 -> 4.3.2	2014-11-07 16:03:19 +00:00