blob: 5021f6d296f0139c7dc889b95a803d6b4ffecac0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = acl2
pkgdesc = ACL2 theorem prover.
pkgver = 8.5
pkgrel = 1
url = http://www.cs.utexas.edu/users/moore/acl2/
install = acl2.install
arch = i686
arch = x86_64
license = BSD
depends = sbcl
options = !strip
source = https://github.com/acl2-devel/acl2-devel/releases/download/8.5/acl2-8.5.tar.gz
source = acl2
md5sums = ec2c62dbdffdc345252bc5a68ad830fc
md5sums = 6b092e8b98e399dc812f36445f1a9183
pkgname = acl2
|