From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 25 Oct 2021 00:23:09 +0000 (+0100)
Subject: verify
X-Git-Tag: opf_rfc_ls005_v1~3529
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=538b0d3959eff72110df13eba03da3486458f0f2;p=libreriscv.git

verify
---

diff --git a/libera.txt b/libera.txt
new file mode 100644
index 000000000..691b6b9c5
--- /dev/null
+++ b/libera.txt
@@ -0,0 +1 @@
+libera-verify-319178327