From 8b6aae1c58e771f2239bf034a6afd5b036e4e528 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 16 Jan 2024 15:19:56 +0100
Subject: [PATCH] revert hack have

---
 .../coq-mathcomp-solvable/coq-mathcomp-solvable.dev/opam        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extra-dev/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.dev/opam b/extra-dev/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.dev/opam
index b182a90e0..f91d8e3b1 100644
--- a/extra-dev/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.dev/opam
+++ b/extra-dev/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.dev/opam
@@ -20,5 +20,5 @@ This library contains more definitions and theorems about finite groups.
 """
 
 url {
-  src: "git+https://github.com/math-comp/math-comp.git"
+  src: "git+https://github.com/gares/math-comp.git#revert-hack-have"
 }