Update to 19.1.

2 files changed, 13 insertions, 12 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 82750ddb9ab2..30e2f951f250 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Sat Jan 19 07:02:33 UTC 2019
+# Sun Dec  1 16:59:03 UTC 2019
 pkgbase = frama-c
 	pkgdesc = Extensible platform dedicated to source-code analysis of C software.
-	pkgver = 18.0
+	pkgver = 19.1
 	pkgrel = 1
 	epoch = 1
 	url = http://frama-c.com
@@ -17,6 +17,7 @@ pkgbase = frama-c
 	makedepends = ocaml-ocamlgraph
 	makedepends = ocaml-findlib
 	makedepends = ocaml-num
+	makedepends = ocaml-yojson
 	depends = gtksourceview2
 	depends = libgnomecanvas
 	depends = ocaml-zarith
@@ -24,10 +25,10 @@ pkgbase = frama-c
 	optdepends = coq
 	optdepends = graphviz
 	optdepends = ltl2ba
-	source = http://frama-c.com/download/frama-c-18.0-Argon.tar.gz
-	md5sums = 659cf094d6e92a8adeb5863ec229020b
-	sha1sums = b97529a6f92622f9d6e9132668b978e615c1969e
-	sha256sums = 42b12540c608f3bf6cc258a6bcededf3c596589e58bfdfc6bf473a05ab980829
+	source = http://frama-c.com/download/frama-c-19.1-Potassium.tar.gz
+	md5sums = 439bfca103e6ceb726df3fc993334d57
+	sha1sums = ee1f2528c58196ffbefb93879eff65fbecad8db6
+	sha256sums = 2def511c3cf4b0362bd67520bc48345c5093754c70de7c712b9af9b12561ba9b
 
 pkgname = frama-c
 
diff --git a/PKGBUILD b/PKGBUILD
index 877be9ec5a5b..94ba341f635f 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=Argon
-pkgver=18.0
+_codename=Potassium
+pkgver=19.1
 pkgrel=1
 epoch=1
 pkgdesc='Extensible platform dedicated to source-code analysis of C software.'
@@ -11,12 +11,12 @@ arch=('i686' 'x86_64')
 license=('LGPL2.1')
 url='http://frama-c.com'
 depends=('gtksourceview2' 'libgnomecanvas' 'ocaml-zarith')
-makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml' 'ocaml-ocamlgraph' 'ocaml-findlib' 'ocaml-num')
+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=('659cf094d6e92a8adeb5863ec229020b')
-sha1sums=('b97529a6f92622f9d6e9132668b978e615c1969e')
-sha256sums=('42b12540c608f3bf6cc258a6bcededf3c596589e58bfdfc6bf473a05ab980829')
+md5sums=('439bfca103e6ceb726df3fc993334d57')
+sha1sums=('ee1f2528c58196ffbefb93879eff65fbecad8db6')
+sha256sums=('2def511c3cf4b0362bd67520bc48345c5093754c70de7c712b9af9b12561ba9b')
 
 build() {
   cd "$srcdir/$pkgname-$pkgver-$_codename"