blob: 5b2a6dac2b7c2ea6f7caf9b65b1e0d6498fe43c5 (
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:38:15 UTC 2019
pkgbase = hol
pkgdesc = HOL4 theorem-proving system
pkgver = kananaskis.12
pkgrel = 3
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
|