Update to 4.0.0-rc4

2 files changed, 3 insertions, 3 deletions

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