6 Commits

Author	SHA1	Message	Date
ndowens	d80cb1b080	gecode: 4.4.0 -> 5.0.0	2017-03-12 16:21:13 -05:00
Nathaniel Baxter	4b7d390c92	gecode: update from 4.3.3 to 4.4.0	2015-04-14 17:47:30 +10:00
Nathaniel Baxter	b19da5ba23	gecode: update from 4.3.0 to 4.3.3	2015-02-17 18:50:48 +11:00
Michael Fellinger	b3594998d3	gecode: fix meta	2014-09-10 16:15:24 +02:00
Michael Fellinger	6f2ffe2198	gecode: meta information	2014-09-10 15:38:25 +02:00
Michael Fellinger	4aed828dd0	gecode: add package	2014-09-10 14:14:58 +02:00