2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index bf29f0f5577a..10a59d45060a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = python-mathlibtools
 	pkgdesc = This package contains leanproject, a supporting tool for Lean mathlib
-	pkgver = 1.3.1
+	pkgver = 1.3.2
 	pkgrel = 1
 	url = https://github.com/leanprover-community/mathlib-tools
 	arch = any
@@ -18,7 +18,7 @@ pkgbase = python-mathlibtools
 	depends = python-yaml
 	depends = python-atomicwrites
 	optdepends = lean-community
-	source = https://pypi.io/packages/source/m/mathlibtools/mathlibtools-1.3.1.tar.gz
-	sha256sums = 1f0b66ac31889c22391e5faa865fbb84e049dd4c7483c223a0055ae2201c725f
+	source = https://pypi.io/packages/source/m/mathlibtools/mathlibtools-1.3.2.tar.gz
+	sha256sums = 9a49f4cb7355fda72792a5738bcc5df927b1e102efc719adfbe16db199a0ac6b
 
 pkgname = python-mathlibtools
diff --git a/PKGBUILD b/PKGBUILD
index 7cf7bb0c8b98..58181fc002d5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 _pkgname=mathlibtools
 pkgname=python-$_pkgname
-pkgver=1.3.1
+pkgver=1.3.2
 pkgrel=1
 pkgdesc='This package contains leanproject, a supporting tool for Lean mathlib'
 arch=('any')
@@ -24,7 +24,7 @@ depends=(
 makedepends=('python-setuptools')
 optdepends=('lean-community')
 source=("https://pypi.io/packages/source/${_pkgname:0:1}/${_pkgname}/$_pkgname-$pkgver.tar.gz")
-sha256sums=('1f0b66ac31889c22391e5faa865fbb84e049dd4c7483c223a0055ae2201c725f')
+sha256sums=('9a49f4cb7355fda72792a5738bcc5df927b1e102efc719adfbe16db199a0ac6b')
 
 build() {
   cd "$_pkgname-$pkgver"