[analyzer] Update satest dependencies

A couple of packages were out-dated while building satest docker image.
This patch updates those.

Reviewed By: steakhal

Differential Revision: https://reviews.llvm.org/D142454
This commit is contained in:
Manas
2023-01-25 02:36:46 +05:30
parent 5f02ad880e
commit a037b85f30

View File

@@ -31,8 +31,8 @@ RUN apt-get install -y \
# symengine dependencies
RUN apt-get install -y \
libgmp10=2:6.1.2+dfsg-2 \
libgmp-dev=2:6.1.2+dfsg-2
libgmp10=2:6.1.2+dfsg-2ubuntu0.1 \
libgmp-dev=2:6.1.2+dfsg-2ubuntu0.1
# simbody dependencies
RUN apt-get install -y \