From 63544b2ce64071c9108573643f8bdd45df029165 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Fri, 4 Feb 2022 11:25:42 +0100 Subject: Temporarily switch to fork of trakt --- coq-smtcoq.opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/coq-smtcoq.opam b/coq-smtcoq.opam index e597b1e..c50c7f2 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/ckeller/trakt.git" ] ] tags: [ "category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures" @@ -40,5 +40,5 @@ description: """ - a certified checker for proof witnesses coming from the SAT solver ZChaff and the SMT solvers veriT and CVC4. This checker increases the confidence in these tools by checking their answers a posteriori and allows to import new theroems proved by these solvers in Coq; - decision procedures through new tactics that discharge some Coq goals to ZChaff, veriT, CVC4, and their combination""" url { - src: "git+https://github.com/smtcoq/smtcoq.git#itp22" + src: "git+https://github.com/smtcoq/smtcoq.git#with-trakt" } -- cgit