diff options
author | Mort Yao | 2019-03-01 02:31:41 +0100 |
---|---|---|
committer | Mort Yao | 2019-03-01 02:31:41 +0100 |
commit | 86c0fd28996cce9eb30700423135ff3691052337 (patch) | |
tree | 6388dd9d5b1fbba1f81c9b69a3adc006d28e0cf4 /.SRCINFO | |
parent | 1b74e3e3646cb7968feac6c8b9c0d9aa21ca1b58 (diff) | |
download | aur-86c0fd28996cce9eb30700423135ff3691052337.tar.gz |
hol kananaskis.12-2
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 19 |
1 files changed, 8 insertions, 11 deletions
@@ -1,21 +1,18 @@ # Generated by mksrcinfo v8 -# Tue Feb 26 16:45:59 UTC 2019 +# Fri Mar 1 01:27:39 UTC 2019 pkgbase = hol - pkgdesc = Interactive proof assistant for higher order logic + pkgdesc = HOL4 theorem-proving system pkgver = kananaskis.12 - pkgrel = 1 - url = http://hol.sourceforge.net/ - arch = i686 + pkgrel = 2 + url = https://hol-theorem-prover.org/ + install = hol.install arch = x86_64 license = BSD - depends = mosml - conflicts = hol-git + depends = polyml + depends = graphviz + conflicts = ocaml-num source = http://sourceforge.net/projects/hol/files/hol/kananaskis-12/hol-kananaskis-12.tar.gz - source = 0001-fix-holdir.patch - source = 0002-fix-emit.patch md5sums = 5b01d43494c7809c029764a95bf06402 - md5sums = d613c3d825d6f382a24533c0136c5b1e - md5sums = 4a01da11b5bfb917a3e5a08ee8bde856 pkgname = hol |