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"
 }