Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-libs/gecode
Commit message (Expand)AuthorAgeFilesLines
* dev-libs/gecode: Remove last-rited pkgMichał Górny2019-10-115-157/+0
* dev-libs/gecode: Re-add 3.7.3-r1 w/o USE=gistAndreas Sturmlechner2018-01-132-0/+43
* dev-libs/gecode: Drop oldAndreas Sturmlechner2018-01-123-128/+0
* dev-libs/gecode: Switch to Qt5Andreas Sturmlechner2018-01-121-0/+81
* dev-libs/*: Update Manifest hashesMichał Górny2017-12-091-2/+2
* dev-libs/gecode: new revision 3.7.3-r1 to fix "doins" -> "dodoc" typo.Michael Orlitzky2017-08-051-4/+1
* dev-libs/gecode: remove unused version 4.4.0.Michael Orlitzky2017-08-051-69/+0
* dev-libs/gecode: Fix toolong DESCRIPTIONHarri Nieminen2017-05-071-2/+2
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-283-3/+0
* dev-libs/gecode: remove econf options that are automatically added in EAPI 6Michael Palimaka2016-09-301-2/+0
* dev-libs/gecode: revision bump fixing numerous QA violationsMichael Palimaka2016-09-292-0/+100
* dev-libs/gecode: fix metadata.xml schema.Michael Orlitzky2016-08-011-2/+0
* Revert "dev-libs/gecode: remove old version 3.7.3 to fix QA warnings."Michael Orlitzky2016-08-012-0/+53
* dev-libs/gecode: remove old version 3.7.3 to fix QA warnings.Michael Orlitzky2016-08-012-53/+0
* dev-libs/gecode: new version 4.4.0.Michael Orlitzky2016-08-013-0/+77
* metadata.xml: Add maintainer-needed comment to packages without maintainer.Ulrich Müller2016-02-281-0/+1
* Remove explicit notion of maintainer-needed, for GLEP 67Michał Górny2016-01-241-3/+0
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-1/+0
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-083-0/+66