diff options
author | Mort Yao | 2021-02-07 21:38:04 +0100 |
---|---|---|
committer | Mort Yao | 2021-02-07 21:38:04 +0100 |
commit | aa9a61f878d5e86abb63f5e7656c0d922e6771dd (patch) | |
tree | 6bbc9cfda8bd2ffe8757121b4c1f468e6591bb65 | |
parent | cefedb65633801a16737a4e60ed1a66a341cc3f8 (diff) | |
download | aur-hol.tar.gz |
hol kananaskis.14-1
-rw-r--r-- | .SRCINFO | 10 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 9 deletions
@@ -1,9 +1,7 @@ -# Generated by mksrcinfo v8 -# Mon Feb 10 22:57:41 UTC 2020 pkgbase = hol pkgdesc = HOL4 theorem-proving system - pkgver = kananaskis.13 - pkgrel = 3 + pkgver = kananaskis.14 + pkgrel = 1 url = https://hol-theorem-prover.org/ install = hol.install arch = x86_64 @@ -12,8 +10,8 @@ pkgbase = hol depends = graphviz provides = hol conflicts = hol-git - source = https://github.com/HOL-Theorem-Prover/HOL/archive/kananaskis-13.tar.gz - md5sums = f40da5a4141739831441380646ca09e7 + source = https://github.com/HOL-Theorem-Prover/HOL/archive/kananaskis-14.tar.gz + md5sums = f3172af328193b1bb18975e8eb307262 pkgname = hol @@ -3,8 +3,8 @@ # FIXME: holyhammer fails to build with ocaml-num pkgname=hol -pkgver=kananaskis.13 -pkgrel=3 +pkgver=kananaskis.14 +pkgrel=1 pkgdesc='HOL4 theorem-proving system' url='https://hol-theorem-prover.org/' arch=('x86_64') @@ -13,7 +13,7 @@ install="$pkgname.install" source=("https://github.com/HOL-Theorem-Prover/HOL/archive/${pkgver//./-}.tar.gz" # ) -md5sums=('f40da5a4141739831441380646ca09e7') +md5sums=('f3172af328193b1bb18975e8eb307262') depends=('polyml' 'graphviz') provides=('hol') conflicts=('hol-git') |