Updated to 20180501 (Chlorine).

2 files changed, 11 insertions, 11 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c7acaeebc6a9..41faa78670a3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Fri Mar  9 07:51:04 UTC 2018
+# Sat Jul  7 05:09:59 UTC 2018
 pkgbase = frama-c
 	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
-	pkgver = 20171101
+	pkgver = 20180501
 	pkgrel = 1
 	url = http://frama-c.com
 	arch = i686
@@ -23,10 +23,10 @@ pkgbase = frama-c
 	optdepends = coq
 	optdepends = graphviz
 	optdepends = ltl2ba
-	source = http://frama-c.com/download/frama-c-Sulfur-20171101.tar.gz
-	md5sums = 6b3135bb8e4771f1daf6d5d4b06ec326
-	sha1sums = dd20055673b44f730ab6acea3780dd59633bd998
-	sha256sums = 81cb97e895d7d698aca6bb7c9b8963f1179c503d6a78bdfc7c66e4502b7692ef
+	source = http://frama-c.com/download/frama-c-Chlorine-20180501.tar.gz
+	md5sums = 2d61aa200ded2dd360a8310c9a03ac50
+	sha1sums = 18281a6b9022bf1009e0f09513b289baa8b447ef
+	sha256sums = 6ff8160f4800e007fb00b1b3f91dc72a97cbb3ee154a0e71181b6e5bad33883a
 
 pkgname = frama-c
 
diff --git a/PKGBUILD b/PKGBUILD
index 2d87affc3620..d5f78b5dc971 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,8 +2,8 @@
 # Contributor: Bartłomiej Piotrowski <nospam@bpiotrowski.pl>
 # Maintainer: aksr <aksr at t-com dot me>
 pkgname=frama-c
-_codename=Sulfur
-pkgver=20171101
+_codename=Chlorine
+pkgver=20180501
 pkgrel=1
 pkgdesc='Extensible platform dedicated to source-code analysis of C software.'
 arch=('i686' 'x86_64')
@@ -13,9 +13,9 @@ depends=('gtksourceview2' 'libgnomecanvas' '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=('6b3135bb8e4771f1daf6d5d4b06ec326')
-sha1sums=('dd20055673b44f730ab6acea3780dd59633bd998')
-sha256sums=('81cb97e895d7d698aca6bb7c9b8963f1179c503d6a78bdfc7c66e4502b7692ef')
+md5sums=('2d61aa200ded2dd360a8310c9a03ac50')
+sha1sums=('18281a6b9022bf1009e0f09513b289baa8b447ef')
+sha256sums=('6ff8160f4800e007fb00b1b3f91dc72a97cbb3ee154a0e71181b6e5bad33883a')
 
 build() {
   cd "$srcdir/$pkgname-$_codename-$pkgver"