diff options
author | sayantankhan | 2017-03-13 22:58:05 +0530 |
---|---|---|
committer | sayantankhan | 2017-03-13 22:58:05 +0530 |
commit | 14f6de834092f945da634eb57e59b122645f067b (patch) | |
tree | 50e88568ce716a236b79513f4035e90966eb01e2 /PKGBUILD | |
parent | 16441aefbcb07cddfcaa1df98ae910e8a5c46cf1 (diff) | |
download | aur-14f6de834092f945da634eb57e59b122645f067b.tar.gz |
Fixed upstream url. Yet again.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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() { |