Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |