Update Vampire to 4.4

1 files changed, 2 insertions, 2 deletions

diff --git a/PKGBUILD b/PKGBUILD
index c2183fe71400..ce5b398da4e6 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,13 +1,13 @@
 # Maintainer: Patrick Lühne <patrick-arch@luehne.de>
 pkgname=vampire
-pkgver=4.2.2
+pkgver=4.4
 pkgrel=1
 pkgdesc='A theorem prover for first-order logic'
 arch=('x86_64')
 url='https://vprover.github.io/'
 license=('custom:Vampire Software Licence Agreement')
 source=("https://github.com/vprover/${pkgname}/archive/${pkgver}.tar.gz")
-sha512sums=('732de52ad7dcb39c111edb596c1c915922e88c55d0c2f4c108a111fa1fe13e54eeae917e760802c81f67be729ab977b1417a3cb7dd42ad5ba0c9b9f061ebbab7')
+sha512sums=('774452836e4cc6b7f2bcffc581b2fec0f15574adb58b4ab9fb3c771392aee2d34073129b8be32d73927f6613e83785e5d3d2ab161fe4eb09a039a0dee983a31a')
 
 build() {
 	cd "${pkgname}-${pkgver}"