Update.

3 files changed, 11 insertions, 12 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 30e2f951f250..1c885c9f3cdc 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Sun Dec  1 16:59:03 UTC 2019
+# Wed Mar 18 06:07:24 UTC 2020
 pkgbase = frama-c
 	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
-	pkgver = 19.1
+	pkgver = 20.0
 	pkgrel = 1
 	epoch = 1
 	url = http://frama-c.com
@@ -25,10 +25,10 @@ pkgbase = frama-c
 	optdepends = coq
 	optdepends = graphviz
 	optdepends = ltl2ba
-	source = http://frama-c.com/download/frama-c-19.1-Potassium.tar.gz
-	md5sums = 439bfca103e6ceb726df3fc993334d57
-	sha1sums = ee1f2528c58196ffbefb93879eff65fbecad8db6
-	sha256sums = 2def511c3cf4b0362bd67520bc48345c5093754c70de7c712b9af9b12561ba9b
+	source = http://frama-c.com/download/frama-c-20.0-Calcium.tar.gz
+	md5sums = 47b9a0a246ae172384dd927516ab184c
+	sha1sums = 37b41710bd07a6913f617219c1a71757aebbac98
+	sha256sums = 167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d
 
 pkgname = frama-c
 
diff --git a/.gitignore b/.gitignore
deleted file mode 120000
index 25c0564928e0..000000000000
--- a/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/home/aksr/arch/pkg/.gitignore
\ No newline at end of file
diff --git a/PKGBUILD b/PKGBUILD
index 94ba341f635f..47f85839581b 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=Potassium
-pkgver=19.1
+_codename=Calcium
+pkgver=20.0
 pkgrel=1
 epoch=1
 pkgdesc='Extensible platform dedicated to source-code analysis of C software.'
@@ -14,9 +14,9 @@ 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=('439bfca103e6ceb726df3fc993334d57')
-sha1sums=('ee1f2528c58196ffbefb93879eff65fbecad8db6')
-sha256sums=('2def511c3cf4b0362bd67520bc48345c5093754c70de7c712b9af9b12561ba9b')
+md5sums=('47b9a0a246ae172384dd927516ab184c')
+sha1sums=('37b41710bd07a6913f617219c1a71757aebbac98')
+sha256sums=('167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d')
 
 build() {
   cd "$srcdir/$pkgname-$pkgver-$_codename"