Package Details: eprover 2.5-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.060626
First Submitted: 2011-08-21 23:43
Last Updated: 2021-01-28 21:24

Dependencies (0)

Required by (4)

Sources (1)

Latest Comments

jachymb commented on 2021-02-08 12:57

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

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

jachymb commented on 2021-02-01 09:24

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

mdl commented on 2021-01-28 21:13

@asch you forgot to update the hash in the PKGBUILD