summaryrefslogtreecommitdiff
path: root/dev-libs/gecode
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
2018-01-12dev-libs/gecode: Switch to Qt5Andreas Sturmlechner
2017-12-09dev-libs/*: Update Manifest hashesMichał Górny
2017-08-05dev-libs/gecode: new revision 3.7.3-r1 to fix "doins" -> "dodoc" typo.Michael Orlitzky
2017-08-05dev-libs/gecode: remove unused version 4.4.0.Michael Orlitzky
2017-05-07dev-libs/gecode: Fix toolong DESCRIPTIONHarri Nieminen
2017-02-28Drop $Id$ per council decision in bug #611234.Robin H. Johnson
2016-09-30dev-libs/gecode: remove econf options that are automatically added in EAPI 6Michael Palimaka
2016-09-29dev-libs/gecode: revision bump fixing numerous QA violationsMichael Palimaka
2016-08-01dev-libs/gecode: fix metadata.xml schema.Michael Orlitzky
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
2016-02-28metadata.xml: Add maintainer-needed comment to packages without maintainer.Ulrich Müller
2016-01-24Remove explicit notion of maintainer-needed, for GLEP 67Michał Górny
2016-01-24Unify quoting in metadata.xml files for machine processingMichał Górny
2015-08-24Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert
2015-08-24Use https by defaultJustin Lecher
2015-08-08proj/gentoo: Initial commitRobin H. Johnson