diff options
| author | Oliver Bandel | 2021-08-12 22:46:45 +0200 |
|---|---|---|
| committer | Oliver Bandel | 2021-08-12 22:46:45 +0200 |
| commit | 67657a12ae6e4ba6978c7df78f9c86caed7dfa36 (patch) | |
| tree | 4a5393a9f748f0f9c8afa42c042db44ffdd8f6f1 /PKGBUILD | |
| parent | 64f14151dc029cb9e0c5a13301085c52c0969ba4 (diff) | |
| download | aur-eqp.tar.gz | |
source changed from .cs.unm.edu to web.archive.org
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,11 +2,11 @@ pkgname=eqp pkgver=09e -pkgrel=1 +pkgrel=3 pkgdesc="Equational Prover (Theorem Prover for First-Order Equational Logic)" arch=('i686' 'x86_64') license=('unknown') -source=(http://www.cs.unm.edu/~mccune/old-ftp/eqp-09e.tar.gz) +source=(https://web.archive.org/web/20161203221638if_/http://www.cs.unm.edu/~mccune/old-ftp/eqp-09e.tar.gz) depends=('glibc') md5sums=('2bc1c58566a2db961a1903984ce9f934') url="http://www.cs.unm.edu/~mccune/eqp/" |