update all CVC5 versions

Author: fdupress

scripts/docker/Dockerfile.build

@@ -51,22 +51,22 @@ RUN \
 	rm -f cvc4
 
 RUN \
-	version=1.3.3 && \
-	wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.2/cvc5-Linux-x86_64-libcxx-static.zip && \
+	version=1.3.4 && \
+	wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-${version}/cvc5-Linux-x86_64-libcxx-static.zip && \
   unzip -j cvc5.zip cvc5-Linux-x86_64-libcxx-static/bin/cvc5 && \
 	sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \
 	rm -f cvc5 cvc5.zip
 
 RUN \
 	version=1.2.1 && \
-	wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-1.2.1/cvc5-Linux-x86_64-static.zip && \
+	wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-${version}/cvc5-Linux-x86_64-static.zip && \
   unzip -j cvc5.zip cvc5-Linux-x86_64-static/bin/cvc5 && \
 	sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \
 	rm -f cvc5 cvc5.zip
 
 RUN \
 	version=1.1.2 && \
-	wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.2/cvc5-Linux-static.zip && \
+	wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-${version}/cvc5-Linux-static.zip && \
   unzip -j cvc5.zip cvc5-Linux-static/bin/cvc5 && \
 	sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \
 	rm -f cvc5 cvc5.zip