summaryrefslogtreecommitdiff
path: root/dev-libs/gecode/gecode-3.7.3.ebuild
AgeCommit message (Collapse)Author
2017-08-05dev-libs/gecode: new revision 3.7.3-r1 to fix "doins" -> "dodoc" typo.Michael Orlitzky
Gentoo-Bug: 588944 Package-Manager: Portage-2.3.6, Repoman-2.3.1
2017-05-07dev-libs/gecode: Fix toolong DESCRIPTIONHarri Nieminen
Package-Manager: Portage-2.3.5, Repoman-2.3.2 Closes: https://github.com/gentoo/gentoo/pull/4517
2017-02-28Drop $Id$ per council decision in bug #611234.Robin H. Johnson
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
2016-08-01Revert "dev-libs/gecode: remove old version 3.7.3 to fix QA warnings."Michael Orlitzky
This reverts commit 395d5ea72bceca3087e602683b43e279f5ca0b71. The dev-ruby/dep_selector package has a dependency on >=gecode3.5.0, but at the moment it can only be satisfied by gecode-3.x, so we need to leave v3.7.3 in the tree. There is an upstream pull request (#44) to support gecode 4.x.
2016-08-01dev-libs/gecode: remove old version 3.7.3 to fix QA warnings.Michael Orlitzky
Package-Manager: portage-2.2.28
2015-08-08proj/gentoo: Initial commitRobin H. Johnson
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed