diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 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 |