...

2 files changed, 7 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 06d3981b5bc0..8d1901f0551e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 # Generated by mksrcinfo v8
-# Tue Dec 27 19:13:21 UTC 2016
+# Tue Dec 27 19:17:25 UTC 2016
 pkgbase = frama-c
 	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
 	pkgver = 20161101
@@ -21,9 +21,9 @@ pkgbase = frama-c
 	optdepends = graphviz
 	optdepends = ltl2ba
 	source = http://frama-c.com/download/frama-c-Silicon-20161101.tar.gz
-	md5sums = e52271640aebcccab894ae038c9579aa
-	sha1sums = 9120171dc34683ed78f1f79f5de1ac97544702e1
-	sha256sums = 20ddc3112b1d0e0c36dcb4e0dca06f69eca5b2cb8c9c2ed7834433f16868e40b
+	md5sums = 454cce7dd6c4d2ce80db2395b90f912e
+	sha1sums = 7e16289d30f3db8f147bbf2725a330ad8d6be2f7
+	sha256sums = b03918572f9a4dbf28b6234c8ece14cbe3a7587ef17add5225bd865f7d2100e3
 
 pkgname = frama-c
 
diff --git a/PKGBUILD b/PKGBUILD
index 6b1db78063ba..b0e873b92949 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -13,9 +13,9 @@ depends=('gtksourceview2' 'libgnomecanvas' 'zarith')
 makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml')
 optdepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba')
 source=("http://frama-c.com/download/${pkgname}-${_codename}-${pkgver}.tar.gz")
-md5sums=('e52271640aebcccab894ae038c9579aa')
-sha1sums=('9120171dc34683ed78f1f79f5de1ac97544702e1')
-sha256sums=('20ddc3112b1d0e0c36dcb4e0dca06f69eca5b2cb8c9c2ed7834433f16868e40b')
+md5sums=('454cce7dd6c4d2ce80db2395b90f912e')
+sha1sums=('7e16289d30f3db8f147bbf2725a330ad8d6be2f7')
+sha256sums=('b03918572f9a4dbf28b6234c8ece14cbe3a7587ef17add5225bd865f7d2100e3')
 
 build() {
   cd "$srcdir/$pkgname-$_codename-$pkgver"