feat: update default tools version on fs/Dockerfile

cartesi · Apr 8, 2024 · 9468a91 · 9468a91
1 parent 4301980
commit 9468a91
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fs/Dockerfile b/fs/Dockerfile
@@ -31,7 +31,7 @@ RUN mkdir benchmarks && cd benchmarks && \
 
 # Final image
 FROM --platform=linux/riscv64 riscv64/ubuntu:22.04
-ARG TOOLS_DEB=machine-emulator-tools-v0.14.1-dev.deb
+ARG TOOLS_DEB=machine-emulator-tools-v0.15.0.deb
 ADD ${TOOLS_DEB} /tmp/
 RUN apt-get update && \
     apt-get install -y --no-install-recommends \