diff options
| author | sayantankhan | 2017-02-10 18:44:26 +0530 |
|---|---|---|
| committer | sayantankhan | 2017-02-10 18:44:26 +0530 |
| commit | ec7dba450f9140e4cc8a3f4253160e606436177b (patch) | |
| tree | dfc949c622d5703b0b8e46c8f0b74b93b1c732e8 | |
| parent | 5ed7b79431c331923feedbbe3e801e17a3251c70 (diff) | |
| download | aur-ec7dba450f9140e4cc8a3f4253160e606436177b.tar.gz | |
Updated .SRCINFO
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,7 +2,7 @@ pkgbase = lean2-git pkgdesc = Lean Theorem Prover 2 pkgver = 0.2.1 pkgrel = 1 - url = https://github.com/leanprover/lean2 + url = https://github.com/Bolt64/lean2 arch = x86_64 license = Apache makedepends = git @@ -14,7 +14,7 @@ pkgbase = lean2-git depends = lua>=5.2 optdepends = emacs: emacs mode conflicts = lean-bin - source = lean2-git::git+https://github.com/leanprover/lean2.git + source = lean2-git::git+https://github.com/Bolt64/lean2 md5sums = SKIP pkgname = lean2-git |