Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 | 1 | -1/+1 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 | 1 | -1/+1 |
* | Merge pull request #59510 from r-ryantm/auto-update/gecode | Renaud | 2019-04-24 | 1 | -2/+2 |
|\ | |||||
| * | gecode: 6.1.1 -> 6.2.0 | R. RyanTM | 2019-04-14 | 1 | -2/+2 |
* | | treewide: Change URLs to HTTPS | Daniel Schaefer | 2019-04-22 | 1 | -1/+1 |
|/ | |||||
* | gecode: 6.1.0 -> 6.1.1 | R. RyanTM | 2019-03-03 | 1 | -2/+2 |
* | gecode: remove maintainer per request | Will Dietz | 2018-12-01 | 1 | -1/+1 |
* | gecode: more deps, build w/gist support but make optional | Will Dietz | 2018-12-01 | 1 | -2/+4 |
* | gecode: 6.0.0 -> 6.1.0 | Will Dietz | 2018-12-01 | 1 | -5/+7 |
* | gecode: 5.0.0 -> 6.0.0 | Ryan Mulligan | 2018-03-30 | 1 | -2/+2 |
* | gecode: 4.4.0 -> 5.0.0 | ndowens | 2017-03-12 | 1 | -2/+3 |
* | gecode: update from 4.3.3 to 4.4.0 | Nathaniel Baxter | 2015-04-14 | 1 | -2/+2 |
* | gecode: update from 4.3.0 to 4.3.3 | Nathaniel Baxter | 2015-02-17 | 1 | -2/+2 |
* | gecode: fix meta | Michael Fellinger | 2014-09-10 | 1 | -3/+3 |
* | gecode: meta information | Michael Fellinger | 2014-09-10 | 1 | -0/+8 |
* | gecode: add package | Michael Fellinger | 2014-09-10 | 1 | -0/+13 |