diff --git a/.SRCINFO b/.SRCINFO
index 3a6c1f31e43c..95daca3e3068 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = mcy-nightly
 	pkgdesc = Mutation Cover with Yosys
-	pkgver = 20230731_d8f33b0
+	pkgver = 20230801_d8f33b0
 	pkgrel = 1
 	epoch = 1
 	url = https://github.com/YosysHQ/mcy
diff --git a/PKGBUILD b/PKGBUILD
index 32bc9c9cae57..cc977bfa4a48 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Aki-nyan <aur@catgirl.link>
 
 pkgname=mcy-nightly
-pkgver=20230731_d8f33b0
+pkgver=20230801_d8f33b0
 pkgrel=1
 epoch=1
 pkgdesc="Mutation Cover with Yosys"