Age | Commit message (Expand) | Author |
---|---|---|
2021-09-23 | upgpkg: gecode 6.2.0-2 | Giovanni Santini |
2019-04-13 | upgpkg: gecode 6.2.0-1 | Giovanni Santini |
2019-03-11 | upgpkg: gecode 6.1.1-1 | Giovanni Santini |
2018-10-29 | upgpkg: gecode 6.1.0-1 | Giovanni Santini |
2018-09-02 | upgpkg: gecode 6.0.1-1 | Giovanni Santini |
2017-09-12 | Update to Gecode version 5.1.0 | Alexander Scharinger |
2016-11-12 | Gecode version 5.0.0 | Alexander Scharinger |
2016-08-29 | Fix invalid md5-sum | Alexander Scharinger |
2015-07-09 | Initial import | Alexander Scharinger |