Age | Commit message (Expand) | Author |
---|---|---|
2018-11-10 | development/gecode: Switch homepage to https. | |
2018-03-05 | development/gecode: Mirror download url. | |
2017-11-04 | development/gecode: Update DOWNLOAD url. | |
2016-11-14 | development/gecode: Fix slack-desc. | |
2015-04-03 | development/gecode: Updated for version 4.4.0. | |
2013-11-22 | various: Update find command to match template. | |
2012-12-28 | development/gecode: Added (Generic Constraint Developm. Environm.). |