diff options
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') |
AUR : lean2-git.git | |
AUR Package Repositories | click here to return to the package base details page |
summarylogtreecommitdiffstats |