Update.

2 files changed, 13 insertions, 12 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 80b1d7decb94..c7acaeebc6a9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Sun Oct  8 07:12:08 UTC 2017
+# Fri Mar  9 07:51:04 UTC 2018
 pkgbase = frama-c
 	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
-	pkgver = 20170501
+	pkgver = 20171101
 	pkgrel = 1
 	url = http://frama-c.com
 	arch = i686
@@ -15,6 +15,7 @@ pkgbase = frama-c
 	makedepends = ocaml
 	makedepends = ocaml-ocamlgraph
 	makedepends = ocaml-findlib
+	makedepends = ocaml-num
 	depends = gtksourceview2
 	depends = libgnomecanvas
 	depends = zarith
@@ -22,10 +23,10 @@ pkgbase = frama-c
 	optdepends = coq
 	optdepends = graphviz
 	optdepends = ltl2ba
-	source = http://frama-c.com/download/frama-c-Phosphorus-20170501.tar.gz
-	md5sums = 996a4690cce7c4812dae74837cf0faa3
-	sha1sums = d9372127ba80636cc1c692a141a7a02dee8325da
-	sha256sums = 614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99
+	source = http://frama-c.com/download/frama-c-Sulfur-20171101.tar.gz
+	md5sums = 6b3135bb8e4771f1daf6d5d4b06ec326
+	sha1sums = dd20055673b44f730ab6acea3780dd59633bd998
+	sha256sums = 81cb97e895d7d698aca6bb7c9b8963f1179c503d6a78bdfc7c66e4502b7692ef
 
 pkgname = frama-c
 
diff --git a/PKGBUILD b/PKGBUILD
index 6b21301c6e0b..2d87affc3620 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,20 +2,20 @@
 # Contributor: Bartłomiej Piotrowski <nospam@bpiotrowski.pl>
 # Maintainer: aksr <aksr at t-com dot me>
 pkgname=frama-c
-_codename=Phosphorus
-pkgver=20170501
+_codename=Sulfur
+pkgver=20171101
 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')
-makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml' 'ocaml-ocamlgraph' 'ocaml-findlib')
+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=('996a4690cce7c4812dae74837cf0faa3')
-sha1sums=('d9372127ba80636cc1c692a141a7a02dee8325da')
-sha256sums=('614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99')
+md5sums=('6b3135bb8e4771f1daf6d5d4b06ec326')
+sha1sums=('dd20055673b44f730ab6acea3780dd59633bd998')
+sha256sums=('81cb97e895d7d698aca6bb7c9b8963f1179c503d6a78bdfc7c66e4502b7692ef')
 
 build() {
   cd "$srcdir/$pkgname-$_codename-$pkgver"