diff options
author | Yufan You | 2020-11-11 00:31:14 +0000 |
---|---|---|
committer | Yufan You | 2020-11-11 00:31:14 +0000 |
commit | c07bd91dbbb035d75f75c0fdc73b5e52eca98a17 (patch) | |
tree | aaf00cdd7855a06d308b2cd8c0734832b87c2932 | |
parent | f23e72afa6e4ceb7d7283ded9f00a6b52590abe9 (diff) | |
download | aur-c07bd91dbbb035d75f75c0fdc73b5e52eca98a17.tar.gz |
Update from GitHub Actions: python-mathlibtools: update to 1.0.0
https://github.com/ouuan/AUR-packages/actions/runs/356861950
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 7 deletions
@@ -1,7 +1,7 @@ pkgbase = python-mathlibtools pkgdesc = This package contains leanproject, a supporting tool for Lean mathlib - pkgver = 0.0.10 - pkgrel = 2 + pkgver = 1.0.0 + pkgrel = 1 url = https://github.com/leanprover-community/mathlib-tools arch = any license = Apache @@ -17,8 +17,8 @@ pkgbase = python-mathlibtools depends = python-pydot depends = python-yaml optdepends = lean-community - source = https://pypi.io/packages/source/m/mathlibtools/mathlibtools-0.0.10.tar.gz - sha256sums = 66e86498d4f06cfa83270e907dac5bfba07960884e99c2306410caaedf42e034 + source = https://pypi.io/packages/source/m/mathlibtools/mathlibtools-1.0.0.tar.gz + sha256sums = da41c65e206f55b1faea303581fc11215e52d6e6990b827336b2e1eb82aad96c pkgname = python-mathlibtools @@ -2,8 +2,8 @@ _pkgname=mathlibtools pkgname=python-$_pkgname -pkgver=0.0.10 -pkgrel=2 +pkgver=1.0.0 +pkgrel=1 pkgdesc='This package contains leanproject, a supporting tool for Lean mathlib' arch=('any') url="https://github.com/leanprover-community/mathlib-tools" @@ -23,7 +23,7 @@ depends=( makedepends=('python-setuptools') optdepends=('lean-community') source=("https://pypi.io/packages/source/m/$_pkgname/$_pkgname-$pkgver.tar.gz") -sha256sums=(66e86498d4f06cfa83270e907dac5bfba07960884e99c2306410caaedf42e034) +sha256sums=(da41c65e206f55b1faea303581fc11215e52d6e6990b827336b2e1eb82aad96c) build() { cd "$_pkgname-$pkgver" |