diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-04 15:59:40 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-04 15:59:40 +0100 |
| commit | be94c1cbd437bf9da7ac9d6f3f018d03354b62f1 (patch) | |
| tree | aedb500f15478ed407f6570451c261412fc0cbf3 | |
| parent | efdfc6a501e42d8988e5c6be0ca17315a271253c (diff) | |
| download | smtcoq-be94c1cbd437bf9da7ac9d6f3f018d03354b62f1.tar.gz smtcoq-be94c1cbd437bf9da7ac9d6f3f018d03354b62f1.zip | |
Use the official repo for trakt
| -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 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" |