summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAki Van Ness2024-03-18 01:00:02 +0100
committerAki Van Ness2024-03-18 01:00:02 +0100
commitdf734437a8f468e7aeb559399b48fc45794d3fc2 (patch)
treedd7e6bf6e6e923745241aebfa1314a95e96be35f
parent3b7150cca4e9137e3a07474428a52d0674489408 (diff)
downloadaur-df734437a8f468e7aeb559399b48fc45794d3fc2.tar.gz
Bumped sby-nightly Version to 20240318_yosys_0.39
Diffstat
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index d6f343b99f75..121bd3a64935 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = sby-nightly
pkgdesc = Front-end for Yosys-based formal verification flows
- pkgver = 20240317_yosys_0.39
+ pkgver = 20240318_yosys_0.39
pkgrel = 1
epoch = 1
url = https://github.com/YosysHQ/sby
diff --git a/PKGBUILD b/PKGBUILD
index 654f4b2cedd4..28cee82e0fba 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Aki-nyan <aur@catgirl.link>
pkgname=sby-nightly
-pkgver=20240317_yosys_0.39
+pkgver=20240318_yosys_0.39
pkgrel=1
epoch=1
pkgdesc="Front-end for Yosys-based formal verification flows"