# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1276707430 -7200
# Node ID 2780fc54f9f45d6a9bf9ac6a456eba7ff81015bb
# Parent  f4373f8b758d0b3f069e4e5b273dba9e04e444d1
complibs/gmp: 5.0.0 misses 'EXPERIMENTAL' in the prompt
(transplanted from 95b4a458fd60d3e0911750c2b7c1b6cf36285845)

diff -r f4373f8b758d -r 2780fc54f9f4 config/companion_libs/gmp.in
--- a/config/companion_libs/gmp.in	Sun Jun 13 20:25:00 2010 +0200
+++ b/config/companion_libs/gmp.in	Wed Jun 16 18:57:10 2010 +0200
@@ -8,7 +8,7 @@
 
 config GMP_V_5_0_1
     bool
-    prompt "5.0.1"
+    prompt "5.0.1 (EXPERIMENTAL)"
     depends on EXPERIMENTAL
 
 config GMP_V_4_3_2