diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-09 09:40:16 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-09 09:40:16 +0100 |
commit | 1d60d37558d85a4bfd794220ec48849982bdc979 (patch) | |
tree | 5f83a3592b0711543a26dee54dc08e506cdefcc2 | |
parent | 085c27e1b661bdb94e71e8009fc24a95041f66c7 (diff) | |
download | smtcoq-1d60d37558d85a4bfd794220ec48849982bdc979.tar.gz smtcoq-1d60d37558d85a4bfd794220ec48849982bdc979.zip |
Switch to 1.0 tag for traktitp22
-rw-r--r-- | coq-smtcoq.opam | 2 |
1 files changed, 1 insertions, 1 deletions
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" |