Merge pull request #41 from musicEnfanthen/update-prince

ci(gh-actions): update prince (and ant)
music-encoding · Jul 18, 2024 · 9106be5 · 9106be5
2 parents d045d1c + 4d7474b
commit 9106be5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -8,15 +8,15 @@ LABEL org.opencontainers.image.revision="v0.0.1"
 
 ARG DEBIAN_FRONTEND=noninteractive
 ARG JAVA_VERSION=17
-ARG PRINCE_VERSION=15.1
+ARG PRINCE_VERSION=15.3
 ARG SAXON_VERSION=SaxonHE12-4
 ARG TARGETARCH
 ARG UBUNTU_VERSION=22.04
 ARG XERCES_VERSION=26.1.0.1
 ARG DEB_FILE=prince_${PRINCE_VERSION}-1_ubuntu${UBUNTU_VERSION}_${TARGETARCH}.deb
 
 ENV TZ=Europe/Berlin
-ENV ANT_VERSION=1.10.13
+ENV ANT_VERSION=1.10.14
 
 ENV ANT_HOME=/opt/apache-ant-${ANT_VERSION}
 ENV PATH=${PATH}:${ANT_HOME}/bin