From 085c27e1b661bdb94e71e8009fc24a95041f66c7 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Wed, 9 Feb 2022 07:09:32 +0100 Subject: Preparing release --- coq-smtcoq.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coq-smtcoq.opam b/coq-smtcoq.opam index 50b29a2..e597b1e 100644 --- a/coq-smtcoq.opam +++ b/coq-smtcoq.opam @@ -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#with-trakt" + src: "git+https://github.com/smtcoq/smtcoq.git#itp22" } -- cgit