blob: 2f94caae08d6071537ee02ba425d2b651c2842fc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# Generated by mksrcinfo v8
# Mon Mar 18 12:48:26 UTC 2019
pkgbase = hol
pkgdesc = HOL4 theorem-proving system
pkgver = kananaskis.12
pkgrel = 4
url = https://hol-theorem-prover.org/
install = hol.install
arch = x86_64
license = BSD
depends = polyml
depends = graphviz
provides = hol
conflicts = hol-git
source = http://sourceforge.net/projects/hol/files/hol/kananaskis-12/hol-kananaskis-12.tar.gz
md5sums = 5b01d43494c7809c029764a95bf06402
pkgname = hol
|