Package Details: eprover 3.2-1

Git Clone URL: https://aur.archlinux.org/eprover.git (read-only, click to copy)
Package Base: eprover
Description: E is theorem prover for full first-order logic with equality.
Upstream URL: http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html
Licenses: GPL2
Submitter: asch
Maintainer: asch
Last Packager: asch
Votes: 11
Popularity: 0.000000
First Submitted: 2011-08-21 23:43 (UTC)
Last Updated: 2025-12-29 10:16 (UTC)

Latest Comments

skylee commented on 2025-12-27 17:07 (UTC)

Current upstream version is 3.2 already.

jachymb commented on 2024-08-14 10:43 (UTC)

Huh, weird. I confirm the curl produces what you say to me also. But it wouldn't build and the other checksum is what I got using makepkg -g

asch commented on 2024-08-13 15:08 (UTC)

It looks correct to me:

$ curl -s http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.1/E.tgz | sha256sum -
f84db3ec902488d5e166b5915c56e12397fd3660744387a2c5a6f81a5005a986  -

Don't you have the source archive (E.tgz) cached somewhere so you are actually installing old version?

jachymb commented on 2024-08-13 14:28 (UTC)

I can't build, fails on checksums

==> Validating source files with sha256sums... E.tgz ... FAILED ==> ERROR: One or more files did not pass the validity check!

I think the checksum should be

sha256sums=('8a53dfb7276c10794c3ce98527cfcf977939769e7a5e6dc2eda9b38be3fc404a')

instead of

sha256sums=('f84db3ec902488d5e166b5915c56e12397fd3660744387a2c5a6f81a5005a986')

jachymb commented on 2024-07-22 21:54 (UTC)

Current upstream version is 3.1 already

jachymb commented on 2021-02-08 12:57 (UTC)

Ah, I was still experiencing it due to yay having cashed the previous version with the error. You should probably increment the $pkgrel when doing changes like fixing a wrong hash.

asch commented on 2021-02-01 09:38 (UTC)

@jachymb: This problem was fixed on Jan 28th.

jachymb commented on 2021-02-01 09:24 (UTC)

I does not build: "ERROR: One or more files did not pass the validity check!"

mdl commented on 2021-01-28 21:13 (UTC)

@asch you forgot to update the hash in the PKGBUILD