summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
3 daysupgpkg: gecode 6.2.0-3Giovanni Santini
2021-09-23upgpkg: gecode 6.2.0-2Giovanni Santini
2019-04-13upgpkg: gecode 6.2.0-1Giovanni Santini
2019-03-11upgpkg: gecode 6.1.1-1Giovanni Santini
2018-10-29upgpkg: gecode 6.1.0-1Giovanni Santini
2018-09-02upgpkg: gecode 6.0.1-1Giovanni Santini
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