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