diff --git a/.SRCINFO b/.SRCINFO index 914d0290c7fc..c54dd010e9f6 100644 --- a/.SRCINFO +++ b/.SRCINFO @@ -1,6 +1,6 @@ pkgbase = mcy-nightly pkgdesc = Mutation Cover with Yosys - pkgver = 20240502_yosys_0.40_2_g9142c93 + pkgver = 20240503_yosys_0.40_2_g9142c93 pkgrel = 1 epoch = 1 url = https://github.com/YosysHQ/mcy diff --git a/PKGBUILD b/PKGBUILD index 99597d8d0702..4577420d1605 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -1,7 +1,7 @@ # Maintainer: Aki-nyan pkgname=mcy-nightly -pkgver=20240502_yosys_0.40_2_g9142c93 +pkgver=20240503_yosys_0.40_2_g9142c93 pkgrel=1 epoch=1 pkgdesc="Mutation Cover with Yosys"