diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2016-08-01 09:03:06 -0400 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2016-08-01 09:03:06 -0400 |
| commit | 53ef549d34ff365c05660062933a5f5981aa41d3 (patch) | |
| tree | d56194439224d7f5dc21c63702d69efb8571b5c8 /dev-libs/gecode/Manifest | |
| parent | dev-libs/gecode: remove old version 3.7.3 to fix QA warnings. (diff) | |
| download | gentoo-53ef549d34ff365c05660062933a5f5981aa41d3.tar.gz gentoo-53ef549d34ff365c05660062933a5f5981aa41d3.tar.bz2 gentoo-53ef549d34ff365c05660062933a5f5981aa41d3.zip | |
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.
Diffstat (limited to 'dev-libs/gecode/Manifest')
| -rw-r--r-- | dev-libs/gecode/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-libs/gecode/Manifest b/dev-libs/gecode/Manifest index bf4b19e96049..1c0230cc43e5 100644 --- a/dev-libs/gecode/Manifest +++ b/dev-libs/gecode/Manifest @@ -1 +1,2 @@ +DIST gecode-3.7.3.tar.gz 1643336 SHA256 e7cc8bcc18b49195fef0544061bdd2e484a1240923e4e85fa39e8d6bb492854c SHA512 292bafeaca3911b8af40d7c0f425cf0263f4408afad47f4f229a821ce89d06dc69ad1feeeef72531a1e711d797d249581b67c2d9cfdc9e544240012c838d2a5b WHIRLPOOL 5aad39285c73e2d918fca98b694b33e00b11fcc21d542a37e23424acc381696f20826d6c28a33a5cde8fbfdfd4254d05791f2db903903306887e4c4fdecb7104 DIST gecode-4.4.0.tar.gz 2889186 SHA256 b45783cc8d0d5dbbd3385a263a2199e6ad7f9a286e92607de81aa0c1105769cb SHA512 5189a3c5f9f34371a0bc94528e8ca65efb0a3078ec158887f47a816d6fe3c879a7e908ee421414bc317754333ecb73806c8fc46b0b6b7d8419cdf6f13a4f8aef WHIRLPOOL a01541d86883eadfcbb45eb7df486ac8d9fa4f656dede937625b00c8f47d1898e42d1fc6004b073392a179b895bc5181585b71693d47e88317a658eb3ecf3252 |