diff options
| author | Patrick Lühne | 2019-08-29 00:55:07 +0200 |
|---|---|---|
| committer | Patrick Lühne | 2019-08-29 00:55:07 +0200 |
| commit | 51cbd2f5dab38672f8de895c5996e275f52d2ba1 (patch) | |
| tree | a934979b9c8553ab38607791f15b139b60cb0544 | |
| parent | a403e7952cbe442f404a7b9b0262e2e72c1a288f (diff) | |
| download | aur-51cbd2f5dab38672f8de895c5996e275f52d2ba1.tar.gz | |
Update Vampire to 4.4
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,12 +1,12 @@ pkgbase = vampire pkgdesc = A theorem prover for first-order logic - pkgver = 4.2.2 + pkgver = 4.4 pkgrel = 1 url = https://vprover.github.io/ arch = x86_64 license = custom:Vampire Software Licence Agreement - source = https://github.com/vprover/vampire/archive/4.2.2.tar.gz - sha512sums = 732de52ad7dcb39c111edb596c1c915922e88c55d0c2f4c108a111fa1fe13e54eeae917e760802c81f67be729ab977b1417a3cb7dd42ad5ba0c9b9f061ebbab7 + source = https://github.com/vprover/vampire/archive/4.4.tar.gz + sha512sums = 774452836e4cc6b7f2bcffc581b2fec0f15574adb58b4ab9fb3c771392aee2d34073129b8be32d73927f6613e83785e5d3d2ab161fe4eb09a039a0dee983a31a pkgname = vampire @@ -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}" |