Wen Heping 27e5f738b0 - Update devel/gecode to 3.7.3 ... Feature safe: yes		2012-03-31 07:18:24 +00:00
..
distinfo	- Update devel/gecode to 3.7.3	2012-03-31 07:18:24 +00:00
Makefile	- Update devel/gecode to 3.7.3	2012-03-31 07:18:24 +00:00
pkg-descr
pkg-plist	- Update devel/gecode to 3.7.3	2012-03-31 07:18:24 +00:00