diff --git a/.gitignore b/.gitignore
index 536dd98..00e25d4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,3 +18,4 @@
 /yosys-587e09d.tar.gz
 /yosys-b15a46c.tar.gz
 /yosys-086c2f3.tar.gz
+/yosys-029c278.tar.gz
diff --git a/sources b/sources
index d535aba..9c1aca2 100644
--- a/sources
+++ b/sources
@@ -1,2 +1,2 @@
-SHA512 (yosys-086c2f3.tar.gz) = 719741bb068b3c3c0b74c453ee27b455c3be990489b46405d1083767b450011a270f1d478fa9f7b8ec1f5b902e0ed1a847211ba1a82e73b87dab2c6f2dafe6bd
+SHA512 (yosys-029c278.tar.gz) = bd693f41aa095b7eb68931c3b0e02b01ff57b229d5caddd632b1d8cd75f1e9ccc822e8bb7ae4316cb873d319802b2b00192c26bc0b461cbb5b2526b65bfce65d
 SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc
diff --git a/yosys.spec b/yosys.spec
index 0f7bf36..8e4d387 100644
--- a/yosys.spec
+++ b/yosys.spec
@@ -1,13 +1,13 @@
-%global commit0 086c2f322479a71f24a9b28bbdc258c895a98b5b
+%global commit0 029c2785e810fda0ccc5abbb6057af760f2fc6f3
 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7})
 
-%global snapdate 20220705
+%global snapdate 20220821
 
 %global __python %{__python3}
 
 Name:           yosys
-Version:        0.19
-Release:        2.%{snapdate}git%{shortcommit0}%{?dist}
+Version:        0.20
+Release:        1.%{snapdate}git%{shortcommit0}%{?dist}
 Summary:        Yosys Open SYnthesis Suite, including Verilog synthesizer
 License:        ISC and MIT
 URL:            http://www.clifford.at/yosys/
@@ -154,6 +154,7 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
 %{_bindir}/%{name}
 %{_bindir}/%{name}-filterlib
 %{_bindir}/%{name}-smtbmc
+%{_bindir}/%{name}-witness
 %{_mandir}/man1/%{name}.1*
 %{_mandir}/man1/%{name}-filterlib.1*
 %{_mandir}/man1/%{name}-smtbmc.1*
@@ -171,6 +172,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
 
 
 %changelog
+* Sun Aug 21 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.20.1.20220821git029c278
+- update to 0.20 snapshot
+
 * Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.19-2.20220705git086c2f3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild