Update to m5

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 8a30422193f3..9ca9210a3a0f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = lean4
 	pkgdesc = Lean 4 programming language and theorem prover
-	pkgver = 4.0.0.m3
+	pkgver = 4.0.0.m5
 	pkgrel = 1
 	url = https://github.com/leanprover/lean4
 	arch = i686
@@ -10,7 +10,7 @@ pkgbase = lean4
 	license = APACHE2
 	makedepends = cmake
 	depends = gmp
-	source = lean4-4.0.0.m3::git+https://github.com/leanprover/lean4.git#commit=v4.0.0-m3
+	source = lean4-4.0.0.m5::git+https://github.com/leanprover/lean4.git#commit=v4.0.0-m5
 	b2sums = SKIP
 
 pkgname = lean4
diff --git a/PKGBUILD b/PKGBUILD
index 1e25df54715c..aef53c13ac88 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Dario Ostuni <dario.ostuni@gmail.com>
 pkgname=lean4
 _pkgver=4.0.0
-_pkgm=m3
+_pkgm=m5
 _pkgpver=v${_pkgver}-${_pkgm}
 pkgver=${_pkgver}.${_pkgm}
 pkgrel=1