blob: 7b3db08a83f21984acedf5bc730a0cae795b52af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
pkgbase = hol
pkgdesc = Interactive proof assistant for higher order logic
pkgver = kananaskis.10
pkgrel = 1
url = http://hol.sourceforge.net/
arch = i686
arch = x86_64
license = BSD
depends = polyml
optdepends = graphviz
conflicts = mesa-demos
conflicts = hol-git
source = http://sourceforge.net/projects/hol/files/hol/kananaskis-10/hol-kananaskis-10.tar.gz
source = 0001-fix-holdir.patch
md5sums = aaf565484d62f1b43423897a2e8517ac
md5sums = d613c3d825d6f382a24533c0136c5b1e
pkgname = hol
|