summaryrefslogtreecommitdiff
path: root/dev-libs/gecode/Manifest
AgeCommit message (Expand)Author
2019-10-11dev-libs/gecode: Remove last-rited pkgMichał Górny
2018-01-13dev-libs/gecode: Re-add 3.7.3-r1 w/o USE=gistAndreas Sturmlechner
2018-01-12dev-libs/gecode: Drop oldAndreas Sturmlechner
2017-12-09dev-libs/*: Update Manifest hashesMichał Górny
2016-08-01Revert "dev-libs/gecode: remove old version 3.7.3 to fix QA warnings."Michael Orlitzky
2016-08-01dev-libs/gecode: remove old version 3.7.3 to fix QA warnings.Michael Orlitzky
2016-08-01dev-libs/gecode: new version 4.4.0.Michael Orlitzky
2015-08-08proj/gentoo: Initial commitRobin H. Johnson