diff options
| author | Vojtech Aschenbrenner | 2022-06-14 15:23:57 +0200 |
|---|---|---|
| committer | Vojtech Aschenbrenner | 2022-06-14 15:23:57 +0200 |
| commit | 686566947c8aad010d711ae8d143f5c93a0102ab (patch) | |
| tree | a35879fced2deeed04924dbaaf058979e78c86a9 /PKGBUILD | |
| parent | 776897d3e4ea901f78addd215293d9c50cee06b9 (diff) | |
| download | aur-686566947c8aad010d711ae8d143f5c93a0102ab.tar.gz | |
Update to 2.6
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ # Maintainer: Vojtech Aschenbrenner <v@asch.cz> pkgname=eprover -pkgver=2.5 +pkgver=2.6 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=('f73852315dde1071acfa552b9532c7ab') +sha256sums=('8a53dfb7276c10794c3ce98527cfcf977939769e7a5e6dc2eda9b38be3fc404a') build() { cd "$srcdir/E" |