diff options
| author | Padraic Fanning | 2023-06-03 22:32:02 -0400 |
|---|---|---|
| committer | Padraic Fanning | 2023-06-03 22:32:02 -0400 |
| commit | 23d792848b4e177107f3592cd3815a818f011d53 (patch) | |
| tree | f87f387c0d4e6e538d1be2990a96aa4692f9173b /PKGBUILD | |
| parent | d0d214529a2a7fae8ca2c3b008748c3412da8121 (diff) | |
| download | aur-lean-community.tar.gz | |
Update to 3.51.1
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,7 +3,7 @@ pkgname=lean-community _pkgname=lean -pkgver=3.51.0 +pkgver=3.51.1 pkgrel=1 pkgdesc='Lean Theorem Prover, maintained by the Lean community' arch=('x86_64' 'i386') @@ -13,7 +13,7 @@ makedepends=('cmake' 'gcc12' 'ninja' 'python') optdepends=('python-mathlibtools') conflicts=('lean-bin' 'lean-git' 'lean3-bin' 'lean2-git') source=("$pkgname-$pkgver.tar.gz::https://github.com/leanprover-community/lean/archive/v$pkgver.tar.gz") -sha256sums=('32edaa6ee84f8af50a20f55162f0499c4cf196ba0834e93c610da266cd5d1d9a') +sha256sums=('5a4734bf345d6c5ba6eacd2d33d86d9540eea7d008b4ebf8dde126e729fcbcaf') build() { cd "$_pkgname-$pkgver" |