Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-22 19:44:21 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

academic/cvc4: Update dependencies.

Browse source 
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Dimitris Zlatanidis 2023-11-30 17:42:02 +02:00 committed by Willy Sudiarto Raharjo
parent 7ca01e116a
commit 3c12a930ae
No known key found for this signature in database
GPG key ID: 3F617144D7238786
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
academic/cvc4/cvc4.info
View file

@ -7,6 +7,6 @@ MD5SUM="9f7657e21fec3c4042225b0b8f513c34 \
1b91dea1c7d480b3223f7c8a9aa0e172"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES="zulu-openjdk8 libantlr3c python-toml"
REQUIRES="zulu-openjdk8 libantlr3c python2-toml"
MAINTAINER="Nick Smallbone"
EMAIL="nick@smallbone.se"