Update (thanks untitled).

2 files changed, 12 insertions, 12 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 41faa78670a3..65aeaee70800 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Sat Jul  7 05:09:59 UTC 2018
+# Sun Sep  2 07:33:13 UTC 2018
 pkgbase = frama-c
 	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
-	pkgver = 20180501
+	pkgver = 20180502
 	pkgrel = 1
 	url = http://frama-c.com
 	arch = i686
@@ -18,15 +18,15 @@ pkgbase = frama-c
 	makedepends = ocaml-num
 	depends = gtksourceview2
 	depends = libgnomecanvas
-	depends = zarith
+	depends = ocaml-zarith
 	optdepends = lablgtk2
 	optdepends = coq
 	optdepends = graphviz
 	optdepends = ltl2ba
-	source = http://frama-c.com/download/frama-c-Chlorine-20180501.tar.gz
-	md5sums = 2d61aa200ded2dd360a8310c9a03ac50
-	sha1sums = 18281a6b9022bf1009e0f09513b289baa8b447ef
-	sha256sums = 6ff8160f4800e007fb00b1b3f91dc72a97cbb3ee154a0e71181b6e5bad33883a
+	source = http://frama-c.com/download/frama-c-Chlorine-20180502.tar.gz
+	md5sums = 5c152f0859880d48f98377de59d6328a
+	sha1sums = c2e734eeb625cd6011c80b61672c6643b05e2ed7
+	sha256sums = ecc9f5822294b76c345973858a6d8da940bae4042b394ffd3d25fd60114499d4
 
 pkgname = frama-c
 
diff --git a/PKGBUILD b/PKGBUILD
index d5f78b5dc971..fe6b04de4a0e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,19 +3,19 @@
 # Maintainer: aksr <aksr at t-com dot me>
 pkgname=frama-c
 _codename=Chlorine
-pkgver=20180501
+pkgver=20180502
 pkgrel=1
 pkgdesc='Extensible platform dedicated to source-code analysis of C software.'
 arch=('i686' 'x86_64')
 license=('LGPL2.1')
 url='http://frama-c.com'
-depends=('gtksourceview2' 'libgnomecanvas' 'zarith')
+depends=('gtksourceview2' 'libgnomecanvas' 'ocaml-zarith')
 makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml' 'ocaml-ocamlgraph' 'ocaml-findlib' 'ocaml-num')
 optdepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba')
 source=("http://frama-c.com/download/${pkgname}-${_codename}-${pkgver}.tar.gz")
-md5sums=('2d61aa200ded2dd360a8310c9a03ac50')
-sha1sums=('18281a6b9022bf1009e0f09513b289baa8b447ef')
-sha256sums=('6ff8160f4800e007fb00b1b3f91dc72a97cbb3ee154a0e71181b6e5bad33883a')
+md5sums=('5c152f0859880d48f98377de59d6328a')
+sha1sums=('c2e734eeb625cd6011c80b61672c6643b05e2ed7')
+sha256sums=('ecc9f5822294b76c345973858a6d8da940bae4042b394ffd3d25fd60114499d4')
 
 build() {
   cd "$srcdir/$pkgname-$_codename-$pkgver"