blob: e6e0237004055d1ce53f20bb987a9f963c9e1266 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
pkgbase = eqp
pkgdesc = Equational Prover (Theorem Prover for First-Order Equational Logic)
pkgver = 09e
pkgrel = 3
url = http://www.cs.unm.edu/~mccune/eqp/
arch = i686
arch = x86_64
license = unknown
depends = glibc
source = https://web.archive.org/web/20161203221638if_/http://www.cs.unm.edu/~mccune/old-ftp/eqp-09e.tar.gz
md5sums = 2bc1c58566a2db961a1903984ce9f934
pkgname = eqp
|