author | Evangelos Foutras
<foutrelis@archlinux.org> 2022-09-18 03:06:49 UTC |
committer | Evangelos Foutras
<foutrelis@archlinux.org> 2022-09-18 03:06:49 UTC |
parent | f21df0c11864c2570adc38354ded31f982a07cb8 |
PKGBUILD | +1 | -1 |
diff --git a/PKGBUILD b/PKGBUILD index fe15c27..e46dc15 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -19,7 +19,7 @@ optdepends=('graphviz: Schematics display support' 'z3: alternative solver for yosys-smtbmc') options=('!lto') # getting SIGSEGV when running the tests with LTO source=("https://github.com/cliffordwolf/yosys/archive/$pkgname-$pkgver.tar.gz") -sha512sums=('c1ae62e55928f26ff6142e9291cbd9b593b39f755d0294b4441bc66fa0eeec90bd71014495e54b5b9530ce609af8b007c755096295a0f7599c739535316c929b') +sha512sums=('c26ef7687f2395621ac77c8ebc0f94d55c2185cf120bac84245a60d1111e7a81e472804a038c390e158ca3130c63b5d5e90bbef672e9d1af431cb12c33148690') _make() { make \