summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2021-09-23upgpkg: gecode 6.2.0-2Giovanni Santini
- Simplify download logic.
2019-04-13upgpkg: gecode 6.2.0-1Giovanni Santini
- Version bump.
2019-03-11upgpkg: gecode 6.1.1-1Giovanni Santini
- Version bump.
2018-10-29upgpkg: gecode 6.1.0-1Giovanni Santini
- Version bump. - Adding maintainer tag.
2018-09-02upgpkg: gecode 6.0.1-1Giovanni Santini
- Version bump. - Change checksum algorithm to sha512. - Use Github download link, as from updates.
2017-09-12Update to Gecode version 5.1.0Alexander Scharinger
2016-11-12Gecode version 5.0.0Alexander Scharinger
2016-08-29Fix invalid md5-sumAlexander Scharinger
2015-07-09Initial importAlexander Scharinger