diff options
-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" |