From 74a254906ac536a4900d714577082c06a20b1224 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= <code@bnwr.net>
Date: Thu, 18 Sep 2025 09:51:51 +0200
Subject: [PATCH] mark conf-gmp.1 as avoid version
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

=== ERROR while compiling conf-gmp.1 =========================================#
 […]
== output ==
 + cc -c -I/usr/local/include test.c
 test.c: In function 'test':
 test.c:7:9: error: implicit declaration of function '__gmp_init'; did you mean '__gmpf_init'? [-Wimplicit-function-declaration]
     7 |         __gmp_init();
       |         ^~~~~~~~~~
       |         __gmpf_init
---
 packages/conf-gmp/conf-gmp.1/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/conf-gmp/conf-gmp.1/opam b/packages/conf-gmp/conf-gmp.1/opam
index 68671a81f38..e1fe4ba48eb 100644
--- a/packages/conf-gmp/conf-gmp.1/opam
+++ b/packages/conf-gmp/conf-gmp.1/opam
@@ -27,7 +27,7 @@ synopsis: "Virtual package relying on a GMP lib system installation"
 description:
   "This package can only install if the GMP lib is installed on the system."
 authors: "nbraud"
-flags: conf
+flags: [conf avoid-version]
 extra-source "test.c" {
   src:
     "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp/test.c.1"