diff options
Diffstat (limited to 'academic/cvc4/cvc4.info')
| -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 25b69f9a4add4..8125f26125404 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="jdk libantlr3c python-toml" +REQUIRES="zulu-openjdk8 libantlr3c python-toml" MAINTAINER="Nick Smallbone" EMAIL="nick@smallbone.se" |