Message ID | e0361ed37146d025171f.1391984021@uemo |
---|---|
State | Accepted |
Commit | d317f3a211d3 |
Headers | show |
danielrubiob, All, Your patch: complibs/gmp: bump version has been applied as: #d317f3a211d3 http://crosstool-ng.org/hg/crosstool-ng/rev/d317f3a211d3 Thank you! Regards, Yann E. MORIN. -- For unsubscribe information see http://sourceware.org/lists.html#faq
diff -r 08addb73e684 -r e0361ed37146 config/companion_libs/gmp.in --- a/config/companion_libs/gmp.in Sun Feb 09 22:21:15 2014 +0100 +++ b/config/companion_libs/gmp.in Sun Feb 09 22:23:59 2014 +0100 @@ -6,6 +6,10 @@ # Don't remove next line # CT_INSERT_VERSION_BELOW +config GMP_V_5_1_3 + bool + prompt "5.1.3" + config GMP_V_5_1_1 bool prompt "5.1.1" @@ -36,6 +40,7 @@ string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + default "5.1.3" if GMP_V_5_1_3 default "5.1.1" if GMP_V_5_1_1 default "5.0.2" if GMP_V_5_0_2 default "5.0.1" if GMP_V_5_0_1
# HG changeset patch # User danielrubiob@gmail.com # Date 1391981039 -3600 # Sun Feb 09 22:23:59 2014 +0100 # Node ID e0361ed37146d025171ffd55a3e9f6a8a0a653c6 # Parent 08addb73e684d5e36f22468918f7ae08c0a9060c Updated GMP library Signed-off-by: Daniel Rubio Bonilla <danielrubiob@gmail.com> -- For unsubscribe information see http://sourceware.org/lists.html#faq