Adding .bazelversion file
PiperOrigin-RevId: 704890070
Change-Id: I0c8c3fb0c06b9c78712b84afa03d80f4b4243abf
diff --git a/.bazelversion b/.bazelversion
new file mode 100644
index 0000000..a8a1887
--- /dev/null
+++ b/.bazelversion
@@ -0,0 +1 @@
+7.1.2
diff --git a/repos.bzl b/repos.bzl
index 6aa5229..980e0cc 100644
--- a/repos.bzl
+++ b/repos.bzl
@@ -22,7 +22,7 @@
if not native.existing_rule("com_google_mpact-riscv"):
http_archive(
name = "com_google_mpact-riscv",
- sha256 = "64b6c7cccada8f8b1a04187256116fb7ed62088a7a668a28dc9d41a8d577adb2",
- strip_prefix = "mpact-riscv-d7dc457223e6ba6b21ec10e3c7b20f7203c31014",
- url = "https://github.com/google/mpact-riscv/archive/d7dc457223e6ba6b21ec10e3c7b20f7203c31014.tar.gz",
+ sha256 = "d9210d4ac6553c18264ca1fa6bfddfb922502aaf43929dfadab02c51c5312872",
+ strip_prefix = "mpact-riscv-5cb491addf4b28fa82fb5b3eaacaae38d7c0bdad",
+ url = "https://github.com/google/mpact-riscv/archive/5cb491addf4b28fa82fb5b3eaacaae38d7c0bdad.tar.gz",
)