diff --git a/packages/conf-gmp/conf-gmp.1/opam b/packages/conf-gmp/conf-gmp.1/opam index 68671a81f38e..e1fe4ba48eb8 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"