Update to version 4.0.0-m2

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 1b3dd84600be..ec2c85ce1d0f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = lean4
 	pkgdesc = Lean 4 programming language and theorem prover
-	pkgver = 4.0.0.m1
+	pkgver = 4.0.0.m2
 	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.m1::git+https://github.com/leanprover/lean4.git#commit=v4.0.0-m1
+	source = lean4-4.0.0.m2::git+https://github.com/leanprover/lean4.git#commit=v4.0.0-m2
 	b2sums = SKIP
 
 pkgname = lean4
diff --git a/PKGBUILD b/PKGBUILD
index 75eddaa4af10..1bae0e8912dc 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Dario Ostuni <dario.ostuni@gmail.com>
 pkgname=lean4
 _pkgver=4.0.0
-_pkgm=m1
+_pkgm=m2
 _pkgpver=v${_pkgver}-${_pkgm}
 pkgver=${_pkgver}.${_pkgm}
 pkgrel=1