summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO2
1 files changed, 1 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 1a9889461ad8..18321a50da52 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = sby-nightly
pkgdesc = Front-end for Yosys-based formal verification flows
- pkgver = 20240506_yosys_0.40_4_g7dd287f
+ pkgver = 20240507_yosys_0.40_4_g7dd287f
pkgrel = 1
epoch = 1
url = https://github.com/YosysHQ/sby