diff options
| author | Dimitris Zlatanidis <d.zlatanidis@gmail.com> | 2023-11-30 17:42:02 +0200 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2023-12-02 07:54:23 +0700 |
| commit | 3c12a930aecb48b07f326263ee18c16d742e5243 (patch) | |
| tree | 4df2c7ff8168f76e8c99c0406376bd6c2275ff75 /academic | |
| parent | 7ca01e116a683a35f87db9c7265e6a50cd8c152d (diff) | |
academic/cvc4: Update dependencies.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic')
| -rw-r--r-- | academic/cvc4/cvc4.info | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/academic/cvc4/cvc4.info b/academic/cvc4/cvc4.info index 8125f26125404..379b15bffae75 100644 --- a/academic/cvc4/cvc4.info +++ b/academic/cvc4/cvc4.info @@ -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" |