diff options
| author | sayantankhan | 2017-02-10 18:45:39 +0530 |
|---|---|---|
| committer | sayantankhan | 2017-02-10 18:45:39 +0530 |
| commit | 4da9ae891bc05299e4adec9bc8a19792424a5c4b (patch) | |
| tree | a3ffeccfbdd634ee983dafee23a7c15e47fefcf5 /PKGBUILD | |
| parent | ec7dba450f9140e4cc8a3f4253160e606436177b (diff) | |
| download | aur-4da9ae891bc05299e4adec9bc8a19792424a5c4b.tar.gz | |
Updated version number
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ pkgname=lean2-git #_pkgver=0.2.0 -pkgver=0.2.1 +pkgver=0.2.2 pkgrel=1 pkgdesc='Lean Theorem Prover 2' arch=('x86_64') |