Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge pull request #59510 from r-ryantm/auto-update/gecode | Renaud | 2019-04-24 |
|\ | |||
| * | gecode: 6.1.1 -> 6.2.0 | R. RyanTM | 2019-04-14 |
* | | treewide: Change URLs to HTTPS | Daniel Schaefer | 2019-04-22 |
|/ | |||
* | gecode: 6.1.0 -> 6.1.1 | R. RyanTM | 2019-03-03 |
* | gecode: remove maintainer per request | Will Dietz | 2018-12-01 |
* | gecode: more deps, build w/gist support but make optional | Will Dietz | 2018-12-01 |
* | gecode: 6.0.0 -> 6.1.0 | Will Dietz | 2018-12-01 |
* | gecode: 5.0.0 -> 6.0.0 | Ryan Mulligan | 2018-03-30 |
* | gecode_3: use bash to run "configure", fix error | Will Dietz | 2018-03-01 |
* | gecode: 4.4.0 -> 5.0.0 | ndowens | 2017-03-12 |
* | ruby: new bundler infrastructure | Charles Strahan | 2015-12-29 |
* | gecode: update from 4.3.3 to 4.4.0 | Nathaniel Baxter | 2015-04-14 |
* | gecode: update from 4.3.0 to 4.3.3 | Nathaniel Baxter | 2015-02-17 |
* | gecode: fix meta | Michael Fellinger | 2014-09-10 |
* | gecode: meta information | Michael Fellinger | 2014-09-10 |
* | gecode: add package | Michael Fellinger | 2014-09-10 |