[arch-commits] Commit in cvc4/trunk (PKGBUILD)

[Antonio Rojas]

    Date: Tuesday, December 5, 2017 @ 08:03:44
  Author: arojas
Revision: 272213

Fix checksum (FS#56578)

Modified:
  cvc4/trunk/PKGBUILD

----------+
 PKGBUILD |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-12-05 07:46:56 UTC (rev 272212)
+++ PKGBUILD	2017-12-05 08:03:44 UTC (rev 272213)
@@ -12,7 +12,7 @@
 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)
-sha256sums=('11ee2c3c182556a5ef750da9631191b3ad6c4ea592eb81d067a2edc41e57bd7b'
+sha256sums=('5d6b4f8ee8420f85e3f804181341cedf6ea32342c48f355a5be87754152b14e9'
             'be2a4a9c843da030b12215bebbd159f2b5acaa1465eb9d1aab2f10c350f4defa')
 
 prepare() {