Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-09-23 | upgpkg: gecode 6.2.0-2 | Giovanni Santini | |
- Simplify download logic. | |||
2019-04-13 | upgpkg: gecode 6.2.0-1 | Giovanni Santini | |
- Version bump. | |||
2019-03-11 | upgpkg: gecode 6.1.1-1 | Giovanni Santini | |
- Version bump. | |||
2018-10-29 | upgpkg: gecode 6.1.0-1 | Giovanni Santini | |
- Version bump. - Adding maintainer tag. | |||
2018-09-02 | upgpkg: gecode 6.0.1-1 | Giovanni Santini | |
- Version bump. - Change checksum algorithm to sha512. - Use Github download link, as from updates. | |||
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 | |