update to 19.12

1 files changed, 3 insertions, 3 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 6967f3331a47..a06a5980062c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,8 +3,8 @@
 
 pkgname=verifast-bin
 _pkgname=verifast
-pkgver=18.02
-pkgrel=2
+pkgver=19.12
+pkgrel=1
 pkgdesc="research prototype of a tool for formal verification of C and Java programs"
 arch=("any")
 url="https://github.com/verifast/verifast"
@@ -12,7 +12,7 @@ license=('MIT')
 depends=()
 conflicts=()
 source=("http://github.com/${_pkgname}/${_pkgname}/releases/download/${pkgver}/${_pkgname}-${pkgver}-linux.tar.gz" "https://raw.githubusercontent.com/verifast/verifast/master/LICENSE.md")
-md5sums=("79fb1f673df94776bb465fe154200129" "a53d80725c9b46c7dc7dc507b6dee172")
+md5sums=("235d075fa0790ad2e8401f71d9307d73" "a53d80725c9b46c7dc7dc507b6dee172")
 
 package() {
 	install -d "${pkgdir}/usr/bin"