From 99bffcb9ecb8fa228cf47cfd2f44d666933eca95 Mon Sep 17 00:00:00 2001
From: Brian Campbell <Brian.Campbell@ed.ac.uk>
Date: Mon, 26 Jul 2021 22:33:38 +0100
Subject: Update versions in Coq snapshot readme

---
 prover_snapshots/coq/README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'prover_snapshots/coq')

diff --git a/prover_snapshots/coq/README.md b/prover_snapshots/coq/README.md
index 3dd50cd..1a9d124 100644
--- a/prover_snapshots/coq/README.md
+++ b/prover_snapshots/coq/README.md
@@ -4,6 +4,6 @@ Install a copy of <https://github.com/mit-plv/bbv> (e.g., by installing the
 Then run `./build`.
 
 The models were built with
-* `sail` commit `f0f778ef`
-* `sail-riscv` commit `0b8bf69`
-and checked against bbv version 1.1 and coq 8.9.1.
+* `sail` commit `f69ac352`
+* `sail-riscv` commit `c6c1e38`
+and checked against bbv version 1.2 and coq 8.13.1.
-- 
cgit v1.1