Update dependency array.

2 files changed, 5 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 5602232405e3..68a7a2a6f208 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Tue Dec 27 19:20:49 UTC 2016
+# Sat Apr  1 02:02:02 UTC 2017
 pkgbase = frama-c
 	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
 	pkgver = 20161101
-	pkgrel = 1
+	pkgrel = 2
 	url = http://frama-c.com
 	arch = i686
 	arch = x86_64
@@ -14,6 +14,7 @@ pkgbase = frama-c
 	makedepends = ltl2ba
 	makedepends = ocaml
 	makedepends = ocaml-ocamlgraph
+	makedepends = ocaml-findlib
 	depends = gtksourceview2
 	depends = libgnomecanvas
 	depends = zarith
diff --git a/PKGBUILD b/PKGBUILD
index 4e26faf0d554..223958a844ad 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,13 +4,13 @@
 pkgname=frama-c
 _codename=Silicon
 pkgver=20161101
-pkgrel=1
+pkgrel=2
 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')
-makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml' 'ocaml-ocamlgraph')
+makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml' 'ocaml-ocamlgraph' 'ocaml-findlib')
 optdepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba')
 source=("http://frama-c.com/download/${pkgname}-${_codename}-${pkgver}.tar.gz")
 md5sums=('454cce7dd6c4d2ce80db2395b90f912e')