From c65b0b8cfd42a7b466fe6fac506e96b64518b00b Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Wed, 16 Jun 2010 18:57:10 +0200
Subject: complibs/gmp: 5.0.0 misses 'EXPERIMENTAL' in the prompt


diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index dd818a0..8c4496c 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -8,7 +8,7 @@ choice
 
 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
-- 
cgit v0.10.2-6-g49f6