haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-11 23:08:30 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

add cvc5 for liquid-fixpoint tests (#7819)

Browse Source
This commit is contained in:
Jens Petersen 2025-08-16 17:44:00 +08:00
parent 4f94221430
commit 2600e2dd52
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
docker/02-apt-get-install.sh
View File

@ -18,6 +18,7 @@ apt-get install -y \
cmake \ cmake \
coinor-libclp-dev \ coinor-libclp-dev \
curl \ curl \
cvc5 \
dvipng \ dvipng \
erlang \ erlang \
freeglut3-dev \ freeglut3-dev \