Update to Silicon-20161101

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index bc0949abf855..06d3981b5bc0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Fri Jul  1 16:33:22 UTC 2016
+# Tue Dec 27 19:13:21 UTC 2016
 pkgbase = frama-c
 	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
-	pkgver = 20160501
+	pkgver = 20161101
 	pkgrel = 1
 	url = http://frama-c.com
 	arch = i686
@@ -20,7 +20,7 @@ pkgbase = frama-c
 	optdepends = coq
 	optdepends = graphviz
 	optdepends = ltl2ba
-	source = http://frama-c.com/download/frama-c-Aluminium-20160501.tar.gz
+	source = http://frama-c.com/download/frama-c-Silicon-20161101.tar.gz
 	md5sums = e52271640aebcccab894ae038c9579aa
 	sha1sums = 9120171dc34683ed78f1f79f5de1ac97544702e1
 	sha256sums = 20ddc3112b1d0e0c36dcb4e0dca06f69eca5b2cb8c9c2ed7834433f16868e40b
diff --git a/PKGBUILD b/PKGBUILD
index 9cab3634941d..6b1db78063ba 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=Aluminium
-pkgver=20160501
+_codename=Silicon
+pkgver=20161101
 pkgrel=1
 pkgdesc='Extensible platform dedicated to source-code analysis of C software.'
 arch=('i686' 'x86_64')