[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