From 81ddb231ebcf1de9b3cd93875e555820b7063677 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 8 Aug 2022 18:30:56 +0200
Subject: [PATCH] fix opam remote for gmp

---
 packages/gmp.6.2.1-3/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/gmp.6.2.1-3/opam b/packages/gmp.6.2.1-3/opam
index d93ad27..3be76f8 100644
--- a/packages/gmp.6.2.1-3/opam
+++ b/packages/gmp.6.2.1-3/opam
@@ -19,5 +19,5 @@ synopsis: "The GNU Multiple Precision Arithmetic Library"
 description: """Dune packaging of the GMP library, suitable for 
 cross-compilation."""
 url {
-  src: "https://github.com/hannesm/ocaml-gmp.git#freebsd"
+  src: "git+https://github.com/hannesm/ocaml-gmp.git#freebsd"
 }