projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 395d5ea) | patch
Revert "dev-libs/gecode: remove old version 3.7.3 to fix QA warnings."
authorMichael Orlitzky <mjo@gentoo.org>
Mon, 1 Aug 2016 13:03:06 +0000 (09:03 -0400)
committerMichael Orlitzky <mjo@gentoo.org>
Mon, 1 Aug 2016 13:03:06 +0000 (09:03 -0400)
commit53ef549d34ff365c05660062933a5f5981aa41d3
treed56194439224d7f5dc21c63702d69efb8571b5c8tree | snapshot
parent395d5ea72bceca3087e602683b43e279f5ca0b71commit | diff
Revert "dev-libs/gecode: remove old version 3.7.3 to fix QA warnings."

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.
dev-libs/gecode/Manifest diff | blob | history
dev-libs/gecode/gecode-3.7.3.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.