From bbfe2fbc43436f92d60b00e15f957996f33aa0a4 Mon Sep 17 00:00:00 2001
From: Marco Eilers <marcoeilers@users.noreply.github.com>
Date: Wed, 2 Aug 2023 04:28:13 +0200
Subject: [PATCH] Update README.md

---
 client/README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/client/README.md b/client/README.md
index 0e45d275..3fb1f31f 100644
--- a/client/README.md
+++ b/client/README.md
@@ -4,6 +4,9 @@
 
 ### Changelog
 
+#### v.4.2.0 (Viper v.23.07-release)
+* Includes ViperTools for ARM Macs
+
 #### v.4.1.1 (Viper v.23.01-release)
 * Support for Viper plugins in the IDE, several bugfixes.
 * Updated Boogie version to 2.15.9 and Z3 version to 4.8.7.