diff options
author | Vojtech Aschenbrenner | 2020-02-17 12:45:22 +0100 |
---|---|---|
committer | Vojtech Aschenbrenner | 2020-02-17 12:45:22 +0100 |
commit | 8ecf7ce2ea86993212ca2da1cbc4de1478e9e24b (patch) | |
tree | a91fbe3983d180ce892173c3480b3475389dfe73 | |
parent | 9b0a8a63b630bb964ce18b74834ad1273494b977 (diff) | |
download | aur-8ecf7ce2ea86993212ca2da1cbc4de1478e9e24b.tar.gz |
Update to 2.4
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 7 deletions
@@ -1,15 +1,13 @@ -# Generated by mksrcinfo v8 -# Sat May 25 02:28:46 UTC 2019 pkgbase = eprover pkgdesc = E is theorem prover for full first-order logic with equality. - pkgver = 2.3 + pkgver = 2.4 pkgrel = 1 url = http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html arch = i686 arch = x86_64 license = GPL2 - source = http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.3/E.tgz - md5sums = c47da9ffbd77a70d6a3bf035769e1720 + source = http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.4/E.tgz + md5sums = a303126a27deaedb0ce1bb884ab9ab97 pkgname = eprover @@ -1,7 +1,7 @@ # Maintainer: Vojtech Aschenbrenner <v@asch.cz> pkgname=eprover -pkgver=2.3 +pkgver=2.4 pkgrel=1 pkgdesc="E is theorem prover for full first-order logic with equality." arch=('i686' 'x86_64') @@ -12,7 +12,7 @@ makedepends=() optdepends=() changelog= source=(http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_$pkgver/E.tgz) -md5sums=('c47da9ffbd77a70d6a3bf035769e1720') +md5sums=('a303126a27deaedb0ce1bb884ab9ab97') build() { cd "$srcdir/E" |