From 0a3ab1faec3e751ce8796003417683f7e4211b5f Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 19 Jan 2024 09:42:31 +0000
Subject: [PATCH] Set Version: 6.1.87