From 84a27dfda9be090f17b997805cf406ff4287d5b9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 11 Dec 2020 15:18:41 +0100 Subject: [PATCH] hack recompile fiat parser --- extra-dev/packages/coq-fiat-parsers/coq-fiat-parsers.dev/opam | 1 + 1 file changed, 1 insertion(+) diff --git a/extra-dev/packages/coq-fiat-parsers/coq-fiat-parsers.dev/opam b/extra-dev/packages/coq-fiat-parsers/coq-fiat-parsers.dev/opam index 0445bd9818..aa888cc225 100644 --- a/extra-dev/packages/coq-fiat-parsers/coq-fiat-parsers.dev/opam +++ b/extra-dev/packages/coq-fiat-parsers/coq-fiat-parsers.dev/opam @@ -14,6 +14,7 @@ depends: [ "ocaml" "coq" {= "dev"} ] + dev-repo: "git+https://github.com/mit-plv/fiat.git" synopsis: "Mostly automated synthesis of correct-by-construction programs." tags: ["logpath:Fiat"]