diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-27 16:06:14 +0100 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2022-02-27 22:29:05 -0600 |
| commit | 0c6f3deda218f3e3ba9f46dd7f85919f1b55037f (patch) | |
| tree | 1919c4f78b14467cdddb0120e0f3d472191204dc /academic/cvc4 | |
| parent | a146a1573a6534ba03e2720146185ad0f3b358cc (diff) | |
academic/cvc4: Fix download.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'academic/cvc4')
| -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 4fc4ede8c667..25b69f9a4add 100644 --- a/academic/cvc4/cvc4.info +++ b/academic/cvc4/cvc4.info @@ -1,7 +1,7 @@ PRGNAM="cvc4" VERSION="1.8" HOMEPAGE="https://cvc4.cs.stanford.edu/" -DOWNLOAD="https://github.com/CVC4/CVC4/archive/1.8/CVC4-1.8.tar.gz \ +DOWNLOAD="https://ponce.cc/slackware/sources/repo/CVC4-1.8.tar.gz \ https://www.antlr3.org/download/antlr-3.4-complete.jar" MD5SUM="9f7657e21fec3c4042225b0b8f513c34 \ 1b91dea1c7d480b3223f7c8a9aa0e172" |