[arch-commits] Commit in cvc4/trunk (PKGBUILD)
Antonio Rojas
arojas at archlinux.org
Mon Sep 16 17:06:25 UTC 2019
Date: Monday, September 16, 2019 @ 17:06:25
Author: arojas
Revision: 510909
https
Modified:
cvc4/trunk/PKGBUILD
----------+
PKGBUILD | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2019-09-16 17:05:42 UTC (rev 510908)
+++ PKGBUILD 2019-09-16 17:06:25 UTC (rev 510909)
@@ -6,12 +6,12 @@
pkgrel=2
pkgdesc="An automatic theorem prover"
arch=('x86_64')
-url="http://cvc4.cs.nyu.edu/web/"
+url="https://cvc4.cs.stanford.edu/web/"
depends=('boost' 'libantlr3c' 'cln')
makedepends=('python')
optdepends=('readline: for an improved interaction support')
license=('GPL' 'BSD' 'MIT' 'custom:HPND')
-source=("http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-$pkgver.tar.gz" cvc4-gcc7.patch)
+source=("https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-$pkgver.tar.gz" cvc4-gcc7.patch)
sha512sums=('0887b3f74a4b9e51e634591c7cf39d730110ca5d930149bab4816a49e383eeea8ccadf8474d22f5529cc03ddd045acacf8a2b92434b882adf352f4de4075fcd4'
'5b05fff54c1f610b4e1d9884812980529512a0656da66cf5f67a407eaf28e10da59fd06e9b34ee0200751a2e796df37e37df9dda406cc3a5ceaaf518c357a5d7')
More information about the arch-commits
mailing list