summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorsayantankhan2017-03-13 22:58:05 +0530
committersayantankhan2017-03-13 22:58:05 +0530
commit14f6de834092f945da634eb57e59b122645f067b (patch)
tree50e88568ce716a236b79513f4035e90966eb01e2 /PKGBUILD
parent16441aefbcb07cddfcaa1df98ae910e8a5c46cf1 (diff)
downloadaur-lean2-git.tar.gz
Fixed upstream url. Yet again.
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 025d7dbefe8..1eb0e4d90dc 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,17 +2,17 @@
pkgname=lean2-git
#_pkgver=0.2.0
-pkgver=0.2.2
+pkgver=0.2.3
pkgrel=1
pkgdesc='Lean Theorem Prover 2'
arch=('x86_64')
-url="https://github.com/Bolt64/lean2"
+url="https://github.com/sayantangkhan/lean2"
license=('Apache')
depends=('gmp' 'mpfr' 'lua>=5.2')
makedepends=('git' 'cmake' 'python' 'gperftools')
optdepends=('emacs: emacs mode')
conflicts=('lean-bin')
-source=("$pkgname::git+https://github.com/Bolt64/lean2")
+source=("$pkgname::git+https://github.com/sayantangkhan/lean2")
md5sums=(SKIP)
#pkgver() {