Update to 21.1 (Scandium).

2 files changed, 18 insertions, 17 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 1c885c9f3cdc..1325a36c748d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Wed Mar 18 06:07:24 UTC 2020
+# Fri Oct  2 10:30:08 UTC 2020
 pkgbase = frama-c
 	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
-	pkgver = 20.0
+	pkgver = 21.1
 	pkgrel = 1
 	epoch = 1
 	url = http://frama-c.com
@@ -25,10 +25,11 @@ pkgbase = frama-c
 	optdepends = coq
 	optdepends = graphviz
 	optdepends = ltl2ba
-	source = http://frama-c.com/download/frama-c-20.0-Calcium.tar.gz
-	md5sums = 47b9a0a246ae172384dd927516ab184c
-	sha1sums = 37b41710bd07a6913f617219c1a71757aebbac98
-	sha256sums = 167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d
+	source = http://frama-c.com/download/frama-c-21.1-Scandium.tar.gz
+	md5sums = 44ae60236da19b3ed7d28d476575643d
+	sha1sums = da75116dfd7927681388b34d38d56704eb0ae0ef
+	sha256sums = be25105521d40eeb2872b3dc2d46b2f67dca2b6e3546ed65ab0de4df10680063
+	sha512sums = 57562f7f9779f040fd12a881b358383a495990f9cdc0da6d03799591ece291710a1805e32eb0cac1703974edd090a6999a2940a84f3247204715c497e4235ab5
 
 pkgname = frama-c
 
diff --git a/PKGBUILD b/PKGBUILD
index 47f85839581b..282b6a192720 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=Calcium
-pkgver=20.0
+_codename=Scandium
+pkgver=21.1
 pkgrel=1
 epoch=1
 pkgdesc='Extensible platform dedicated to source-code analysis of C software.'
@@ -14,18 +14,18 @@ depends=('gtksourceview2' 'libgnomecanvas' 'ocaml-zarith')
 makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml' 'ocaml-ocamlgraph' 'ocaml-findlib' 'ocaml-num' 'ocaml-yojson')
 optdepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba')
 source=("http://frama-c.com/download/${pkgname}-${pkgver}-${_codename}.tar.gz")
-md5sums=('47b9a0a246ae172384dd927516ab184c')
-sha1sums=('37b41710bd07a6913f617219c1a71757aebbac98')
-sha256sums=('167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d')
+md5sums=('44ae60236da19b3ed7d28d476575643d')
+sha1sums=('da75116dfd7927681388b34d38d56704eb0ae0ef')
+sha256sums=('be25105521d40eeb2872b3dc2d46b2f67dca2b6e3546ed65ab0de4df10680063')
+sha512sums=('57562f7f9779f040fd12a881b358383a495990f9cdc0da6d03799591ece291710a1805e32eb0cac1703974edd090a6999a2940a84f3247204715c497e4235ab5')
 
 build() {
-  cd "$srcdir/$pkgname-$pkgver-$_codename"
-  ./configure --prefix=/usr
-  make
+	cd "$srcdir/$pkgname-$pkgver-$_codename"
+	./configure --prefix=/usr
+	make
 }
 
 package() {
-  cd "$srcdir/$pkgname-$pkgver-$_codename"
-  make DESTDIR="$pkgdir" install
+	cd "$srcdir/$pkgname-$pkgver-$_codename"
+	make DESTDIR="$pkgdir" install
 }
-