From 1d60d37558d85a4bfd794220ec48849982bdc979 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Wed, 9 Feb 2022 09:40:16 +0100
Subject: Switch to 1.0 tag for trakt

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

diff --git a/coq-smtcoq.opam b/coq-smtcoq.opam
index e597b1e..d1724d1 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/ecranceMERCE/trakt.git" ]
+  [ "coq-trakt.dev" "git+https://github.com/ecranceMERCE/trakt.git#1.0" ]
 ]
 tags: [ 
   "category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures"
-- 
cgit