cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update docker images for new z3 version.

Browse Source
This commit is contained in:
Daniel Kirchner
2022-05-13 17:46:42 +02:00
parent edd769a6dc
commit 49badcd91a
4 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/docker/buildpack-deps/Dockerfile.ubuntu2004
+1 -1
View File
@@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM buildpack-deps:focal AS base
LABEL version="12"
LABEL version="13"
ARG DEBIAN_FRONTEND=noninteractive