diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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}" |