From 2600e2dd527dc7a513949426b547b86706919847 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sat, 16 Aug 2025 17:44:00 +0800
Subject: [PATCH] add cvc5 for liquid-fixpoint tests (#7819)

---
 docker/02-apt-get-install.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index a55009a9..fca9e26d 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -18,6 +18,7 @@ apt-get install -y \
     cmake \
     coinor-libclp-dev \
     curl \
+    cvc5 \
     dvipng \
     erlang \
     freeglut3-dev \