Package Details: eprover 2.6-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: 2022-06-16 10:56 (UTC)

Latest Comments

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