summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index f97dba0a4e5b..10d4bd4adbba 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = eqy-nightly
pkgdesc = Equivalence Checking with Yosys
- pkgver = 20240410_yosys_0.38_2_g61336a7
+ pkgver = 20240410_yosys_0.40_2_g0dcf0f1
pkgrel = 1
epoch = 1
url = https://github.com/YosysHQ/eqy
@@ -14,7 +14,7 @@ pkgbase = eqy-nightly
depends = python
depends = python-click
options = !strip
- source = eqy::git+https://github.com/YosysHQ/eqy.git#commit=61336a7
+ source = eqy::git+https://github.com/YosysHQ/eqy.git#commit=0dcf0f1
sha256sums = SKIP
pkgname = eqy-nightly