From be94c1cbd437bf9da7ac9d6f3f018d03354b62f1 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Fri, 4 Feb 2022 15:59:40 +0100
Subject: Use the official repo for trakt

---
 coq-smtcoq.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-smtcoq.opam b/coq-smtcoq.opam
index c50c7f2..50b29a2 100644
--- a/coq-smtcoq.opam
+++ b/coq-smtcoq.opam
@@ -16,7 +16,7 @@ depends: [
   "coq-trakt"
 ]
 pin-depends: [
-  [ "coq-trakt.dev" "git+https://github.com/ckeller/trakt.git" ]
+  [ "coq-trakt.dev" "git+https://github.com/ecranceMERCE/trakt.git" ]
 ]
 tags: [ 
   "category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures"
-- 
cgit