Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild

Rebuilds showed two issues:
1. a difference in embedded timestamps in two pyc files:
-/usr/share/yosys/python3/__pycache__/ywio.cpython-313.pyc: from py with mtime=1729689590 (2024-10-23 13:19:50 UTC), size=12442 bytes, no hash invalidation
+/usr/share/yosys/python3/__pycache__/ywio.cpython-313.pyc: from py with mtime=1729697160 (2024-10-23 15:26:00 UTC), size=12442 bytes, no hash invalidation
-/usr/share/yosys/python3/__pycache__/smtio.cpython-313.pyc: from py with mtime=1729689590 (2024-10-23 13:19:50 UTC), size=48779 bytes, no hash invalidation
+/usr/share/yosys/python3/__pycache__/smtio.cpython-313.pyc: from py with mtime=1729697160 (2024-10-23 15:26:00 UTC), size=48779 bytes, no hash invalidation

2. a difference in the embedded timestamp:
-// Generated by techlibs/quicklogic/qlf_k6n10f/generate_bram_types_sim.py at 2024-10-23 13:19:51.386645+00:00
+// Generated by techlibs/quicklogic/qlf_k6n10f/generate_bram_types_sim.py at 2024-10-23 15:26:00.568929+00:00

Issue 1. actually means that the pyc file is not useful: in the rpm, the .py
file has a timestamp clamped to $SOURCE_DATE_EPOCH, so the pyc file will be
ignored (and possibly overwritten, if yosys is run by root).

Issue 2. is fixed the patch, and issue 1. is fixed by calling %py_byte_compile
as described by
https://docs.fedoraproject.org/en-US/packaging-guidelines/Python/#_manual_byte_compilation.
With those two changes, I expect the build to be fully reproducible.

R:python3-devel is mandatory, see
https://docs.fedoraproject.org/en-US/packaging-guidelines/Python/#_distro_wide_guidelines.
This makes sure the %py_byte_compile macro is available.

.gitignore

@@ -1,3 +1,73 @@
 /yosys-0.7.tar.gz
 /yosys_0.7-2.debian.tar.xz
 /yosys-0.8.tar.gz
+/yosys-0.9.tar.gz
+/yosys_0.9-1.debian.tar.xz
+/yosys-9cdc6b5.tar.gz
+/yosys-26e01a6.tar.gz
+/yosys-df2b79c.tar.gz
+/yosys-50be8fd.tar.gz
+/yosys-62739f7.tar.gz
+/yosys-9a41380.tar.gz
+/yosys-cdb5711.tar.gz
+/yosys-84f0df1.tar.gz
+/yosys-0e97c3f.tar.gz
+/yosys-a41c1df.tar.gz
+/yosys-c312402.tar.gz
+/yosys-4da3f28.tar.gz
+/yosys-587e09d.tar.gz
+/yosys-b15a46c.tar.gz
+/yosys-086c2f3.tar.gz
+/yosys-029c278.tar.gz
+/yosys-d98738d.tar.gz
+/yosys-c4a52b1.tar.gz
+/yosys-c75f12a.tar.gz
+/yosys-7ad7b55.tar.gz
+/yosys-7bac192.tar.gz
+/yosys-1c667fa.tar.gz
+/yosys-b58664d.tar.gz
+/yosys-51dd029.tar.gz
+/yosys-d82bae3.tar.gz
+/yosys-5813809.tar.gz
+/yosys-b04d0e0.tar.gz
+/yosys-389b8d0.tar.gz
+/yosys-05f0262.tar.gz
+/yosys-8367f06.tar.gz
+/yosys-d87bd7c.tar.gz
+/yosys-6a7fad4.tar.gz
+/yosys-ac0fb2e.tar.gz
+/yosys-b3124f3.tar.gz
+/yosys-47bdb3e.tar.gz
+/yosys-56c8439.tar.gz
+/yosys_0.33-5.debian.tar.xz
+/yosys-960d8e3.tar.gz
+/yosys-49f5477.tar.gz
+/yosys-77b2ae2.tar.gz
+/yosys-e8951ab.tar.gz
+/yosys-a00137c.tar.gz
+/yosys-f20f913.tar.gz
+/yosys-e91e95f.tar.gz
+/yosys-e456f2e.tar.gz
+/yosys-6f9c515.tar.gz
+/yosys-e44d1d4.tar.gz
+/yosys_0.33-6.debian.tar.xz
+/yosys-c4b5190.tar.gz
+/yosys-fee39a3.tar.gz
+/yosys_0.52-1.debian.tar.xz
+/yosys-53c22ab.tar.gz
+/yosys-e0747b7.tar.gz
+/yosys-60f126c.tar.gz
+/yosys-8c71226.tar.gz
+/yosys-cec48c6.tar.gz
+/yosys_0.52-2.debian.tar.xz
+/yosys-9a12d92.tar.gz
+/yosys-529886f.tar.gz
+/yosys-0e31e38.tar.gz
+/yosys-967b47d.tar.gz
+/yosys-1717fa0.tar.gz
+/yosys-3bc26ff.tar.gz
+/yosys-90c26fe.tar.gz
+/yosys-86f2dde.tar.gz
+/yosys-b88b73a.tar.gz
+/yosys_0.65-1.debian.tar.xz
+/yosys-22c15a7.tar.gz

0001-fedora-unbundle-cxxopts.patch

@@ -0,0 +1,49 @@
+From e54bbc1ffa4b8f81559e3e4d9d2521e9d83f1748 Mon Sep 17 00:00:00 2001
+From: Gabriel Somlo <gsomlo@gmail.com>
+Date: Mon, 13 Jul 2026 17:01:17 -0400
+Subject: [PATCH] fedora: unbundle cxxopts
+
+---
+ kernel/CMakeLists.txt | 1 -
+ kernel/driver.cc      | 2 +-
+ libs/CMakeLists.txt   | 1 -
+ 3 files changed, 1 insertion(+), 3 deletions(-)
+
+diff --git a/kernel/CMakeLists.txt b/kernel/CMakeLists.txt
+index 4cd76b4ff..24d86997b 100644
+--- a/kernel/CMakeLists.txt
++++ b/kernel/CMakeLists.txt
+@@ -91,7 +91,6 @@ yosys_core(kernel
+ 	INCLUDE_DIRS
+ 		${pybind11_INCLUDE_DIR}
+ 	LIBRARIES
+-		cxxopts
+ 		$<${YOSYS_ENABLE_PLUGINS}:${Dlfcn_LIBRARIES}>
+ 		$<${YOSYS_ENABLE_ZLIB}:PkgConfig::zlib>
+ 		$<${YOSYS_ENABLE_READLINE}:PkgConfig::readline>
+diff --git a/kernel/driver.cc b/kernel/driver.cc
+index 2a4ad1295..7bb67ffea 100644
+--- a/kernel/driver.cc
++++ b/kernel/driver.cc
+@@ -21,7 +21,7 @@
+ #include "kernel/hashlib.h"
+ #include "libs/sha1/sha1.h"
+ #define CXXOPTS_VECTOR_DELIMITER '\0'
+-#include "libs/cxxopts/include/cxxopts.hpp"
++#include <cxxopts.hpp>
+ #include <iostream>
+ #include <chrono>
+ 
+diff --git a/libs/CMakeLists.txt b/libs/CMakeLists.txt
+index cb81b3af2..4eb313c5d 100644
+--- a/libs/CMakeLists.txt
++++ b/libs/CMakeLists.txt
+@@ -1,5 +1,4 @@
+ add_subdirectory(bigint)
+-add_subdirectory(cxxopts)
+ add_subdirectory(dlfcn-win32)
+ add_subdirectory(ezsat)
+ add_subdirectory(fst)
+-- 
+2.54.0
+

sources

@@ -1,2 +1,2 @@
-SHA512 (yosys-0.8.tar.gz) = 92364592f755b77bca5efaa99ed8050f4278a406066601a217c567e238ad2f59f9d85b7c91295dbd7125b2f9a0da74c511e238d8ae996bba1cd4aace71dc3d10
-SHA512 (yosys_0.7-2.debian.tar.xz) = a1ab0c600a1e7d22a121dcb9baaf41c40b4c5ddfe69d75c26bcdd45c17132fe218c08ad0e605f6cda26b3f00b62cc402382481eb6ef8186862b72bcc4ae70582
+SHA512 (yosys-22c15a7.tar.gz) = 2fbc300e1532e770e6988f19e162fe8cafc2d086418d9b77cf0ba1524679fb305a0e642f95fe57b809fa4b16b74b471e26fdeac2828a43bc2d11ce2c06b21da1
+SHA512 (yosys_0.65-1.debian.tar.xz) = a0a68a8229b42d48f87618d3c4e40acf3576e8d18188b83ef3d83c277a17c09ea783fab45dfc3c52cc0fcee220af1a00b7d012a258dc3b124a44d65696d490ba

yosys-cfginc.patch

@@ -1,11 +0,0 @@
---- yosys-yosys-0.8/Makefile~	2018-10-16 15:22:16.000000000 +0100
-+++ yosys-yosys-0.8/Makefile	2018-10-27 19:11:12.815856126 +0100
-@@ -520,7 +520,7 @@
- endif
- 
- yosys-config: misc/yosys-config.in
--	$(P) $(SED) -e 's#@CXXFLAGS@#$(subst -I. -I"$(YOSYS_SRC)",-I"$(DATDIR)/include",$(strip $(CXXFLAGS_NOVERIFIC)))#;' \
-+	$(P) $(SED) -e 's#@CXXFLAGS@#$(subst -I. -I"$(YOSYS_SRC)",-I"$(PREFIX)/include/yosys",$(strip $(CXXFLAGS_NOVERIFIC)))#;' \
- 			-e 's#@CXX@#$(strip $(CXX))#;' -e 's#@LDFLAGS@#$(strip $(LDFLAGS) $(PLUGIN_LDFLAGS))#;' -e 's#@LDLIBS@#$(strip $(LDLIBS_NOVERIFIC))#;' \
- 			-e 's#@BINDIR@#$(strip $(BINDIR))#;' -e 's#@DATDIR@#$(strip $(DATDIR))#;' < $< > yosys-config
- 	$(Q) chmod +x yosys-config

yosys-empty-label.patch

@@ -1,36 +0,0 @@
-From 6732e566321b828c83b563d24a10ac31c6d03e28 Mon Sep 17 00:00:00 2001
-From: Jon Burgess <jburgess777@gmail.com>
-Date: Sun, 28 Oct 2018 14:49:09 +0000
-Subject: [PATCH] Avoid assert when label is an empty string
-
-Calling back() on an empty string is not allowed and triggers
-an assert with recent gcc:
-
-$ cd manual/PRESENTATION_Intro
-$ ../../yosys counter.ys
-...
-/usr/include/c++/8/bits/basic_string.h:1136: std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::reference std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::back() [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>; std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::reference = char&]: Assertion '!empty()' failed.
-
-802             if (label.back() == ':' && GetSize(label) > 1)
-(gdb) p label
-$1 = ""
----
- kernel/yosys.cc | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/kernel/yosys.cc b/kernel/yosys.cc
-index 21eeadaa..f002955a 100644
---- a/kernel/yosys.cc
-+++ b/kernel/yosys.cc
-@@ -799,7 +799,7 @@ static void handle_label(std::string &command, bool &from_to_active, const std::
- 	while (pos < GetSize(command) && command[pos] != ' ' && command[pos] != '\t' && command[pos] != '\r' && command[pos] != '\n')
- 		label += command[pos++];
- 
--	if (label.back() == ':' && GetSize(label) > 1)
-+	if (GetSize(label) > 1 && label.back() == ':')
- 	{
- 		label = label.substr(0, GetSize(label)-1);
- 		command = command.substr(pos);
--- 
-2.17.2
-

yosys-mancfginc.patch

@@ -1,24 +0,0 @@
-diff -up yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1/manual/CHAPTER_Prog/Makefile.mancfginc yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1/manual/CHAPTER_Prog/Makefile
---- yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1/manual/CHAPTER_Prog/Makefile.mancfginc	2016-09-10 08:24:08.000000000 -0600
-+++ yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1/manual/CHAPTER_Prog/Makefile	2016-09-13 03:52:13.236296221 -0600
-@@ -5,7 +5,7 @@ test: stubnets.so
- 	tail test1.log test2.log test3.log
- 
- stubnets.so: stubnets.cc
--	yosys-config --exec --cxx --cxxflags --ldflags -o $@ -shared $^ --ldlibs
-+	yosys-config --exec --cxx --cxxflags -I../.. --ldflags -o $@ -shared $^ --ldlibs
- 
- clean:
- 	rm -f test1.log test2.log test3.log
-diff -up yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1/manual/PRESENTATION_Prog/Makefile.mancfginc yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1/manual/PRESENTATION_Prog/Makefile
---- yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1/manual/PRESENTATION_Prog/Makefile.mancfginc	2016-09-13 03:47:52.222413004 -0600
-+++ yosys-5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1/manual/PRESENTATION_Prog/Makefile	2016-09-13 03:50:38.875169350 -0600
-@@ -2,7 +2,7 @@
- all: test0.log test1.log test2.log
- 
- my_cmd.so: my_cmd.cc
--	../../yosys-config --exec --cxx --cxxflags --ldflags -o my_cmd.so -shared my_cmd.cc --ldlibs
-+	../../yosys-config --exec --cxx --cxxflags -I../.. --ldflags -o my_cmd.so -shared my_cmd.cc --ldlibs
- 
- test0.log: my_cmd.so
- 	../../yosys -Ql test0.log_new -m ./my_cmd.so -p 'my_cmd foo bar' absval_ref.v

yosys.spec

@@ -1,63 +1,67 @@
-#%global commit0 8f5bf6de32bcc478312d8f5410826b4894ebadba
+%global commit0 22c15a7ecd53437f18f67c72572bd693f78357ca
+%global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7})
 
-#%global shortcommit0 %(c=%{commit0}; echo ${c:0:7})
-
-%global __python %{__python3}
+%global snapdate 20260713
 
 Name:           yosys
-Version:        0.8
-Release:        5%{?dist}
-# For git snapshot: 2.20160923git%{shortcommit0}%{?dist}
+Version:        0.67
+Release:        3.%{snapdate}git%{shortcommit0}%{?dist}
 Summary:        Yosys Open SYnthesis Suite, including Verilog synthesizer
 License:        ISC and MIT
 URL:            http://www.clifford.at/yosys/
 
-Source0:        https://github.com/YosysHQ/yosys/archive/yosys-0.8.tar.gz
-# For git snapshot: https://github.com/YosysHQ/%{name}/archive/%{commit0}.tar.gz
+Source0:        https://github.com/YosysHQ/%{name}/archive/%{commit0}/%{name}-%{shortcommit0}.tar.gz
 Source1:        https://github.com/mdaines/viz.js/releases/download/0.0.3/viz.js
 
 # man pages written for Debian:
-Source2:        http://http.debian.net/debian/pool/main/y/yosys/yosys_0.7-2.debian.tar.xz
+Source2:        http://http.debian.net/debian/pool/main/y/yosys/yosys_0.65-1.debian.tar.xz
 # requested that upstream include those man pages:
 #   https://github.com/YosysHQ/yosys/issues/278
 
-# Fedora-specific patch:
-# Change the substitution done when making yosys-config so that it outputs
-# CXXFLAGS with -I/usr/include/yosys
-Patch1:         yosys-cfginc.patch
-
-# Fedora-specific patch:
-# When invoking yosys-config for examples in "make manual", need to use
-# relative path for includes, as they're not installed in build host
-# filesystem.
-Patch2:         yosys-mancfginc.patch
-
-# Fix assert with empty label
-# https://github.com/YosysHQ/yosys/pull/680
-Patch3:         yosys-empty-label.patch
+# Fedora-specific patch: # unbundle cxxopts dependency
+Patch1:         0001-fedora-unbundle-cxxopts.patch
 
 
+BuildRequires:  cmake
 BuildRequires:  gcc-c++
+BuildRequires:  cxxopts-devel
 BuildRequires:  bison flex readline-devel pkgconfig
 BuildRequires:  tcl-devel libffi-devel
-BuildRequires:  abc >= 1.01-9
-BuildRequires:  iverilog
+BuildRequires:  editline-devel
+BuildRequires:  yosyshq-abc >= 0.67
+BuildRequires:  iverilog >= 12.0
+BuildRequires:  fmt-devel
+BuildRequires:  tomlplusplus-devel
 BuildRequires:  python%{python3_pkgversion}
+BuildRequires:  python3-devel
 BuildRequires:  txt2man
+BuildRequires:  gtkwave
+BuildRequires:  gtest-devel
+BuildRequires:  gmock-devel
 
 # required for documentation:
-BuildRequires:  graphviz
-BuildRequires:  texlive-beamer
-BuildRequires:  texlive-collection-bibtexextra
-BuildRequires:  texlive-collection-fontsextra
-BuildRequires:  texlive-collection-latexextra
-BuildRequires:  texlive-collection-publishers
-BuildRequires:  texlive-collection-science
+BuildRequires: graphviz
+BuildRequires: latexmk
+BuildRequires: libfaketime
+BuildRequires: pdf2svg
+BuildRequires: python3-click
+BuildRequires: python3-furo
+BuildRequires: python3-sphinx-latex
+BuildRequires: python3-sphinxcontrib-bibtex
+BuildRequires: python3-sphinx-inline-tabs
+BuildRequires: texlive-comment
+BuildRequires: texlive-pgfplots
+BuildRequires: texlive-standalone
+BuildRequires: rsync
 
 Requires:       %{name}-share = %{version}-%{release}
-Requires:       graphviz python-xdot
-Requires:       abc >= 1.01-9
+Requires:       graphviz python-click python-xdot
+Requires:       yosyshq-abc >= 0.67
 
+# https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval :
+ExcludeArch: %{ix86}
+# abc use broken on all Big Endian CPUs, specifically s390x (see BZ 1937362, 1937395):
+ExcludeArch: s390x
 
 %description
 Yosys is a framework for Verilog RTL synthesis. It currently has
@@ -83,39 +87,22 @@ Architecture-independent Yosys files.
 %package devel
 Summary:        Development files to build Yosys synthesizer plugins
 Requires:       %{name}%{?_isa} = %{version}-%{release}
+Requires:       tcl-devel
 
 %description devel
 Development files to build Yosys synthesizer plugins.
 
 
 %prep
-%setup -q -n %{name}-%{name}-%{version}
-# For git snapshot: %setup -q -n %{name}-%{commit0}
-
-%patch1 -p1 -b .cfginc
-%patch2 -p1 -b .mancfginc
-%patch3 -p1 -b .label
+%autosetup -p1 -n %{name}-%{commit0}
 
 # Ensure that Makefile doesn't wget viz.js
 cp %{SOURCE1} .
 
 # Get man pages from Debian
-%setup -q -T -D -a 2 -n %{name}-%{name}-%{version}
-# For git snapshot: %setup -q -T -D -a 2 -n %{name}-%{commit0}
+%setup -q -T -D -a 2 -n %{name}-%{commit0}
 
-# Remove shebang from Python files that aren't executable,
-# without changing timestamps
-# requested that upstream remove shebang:
-#   https://github.com/YosysHQ/yosys/issues/279
-for f in backends/smt2/smtio.py
-do
-    sed '/#!\/usr\/bin\/env python3/d' $f >$f.new
-    touch -r $f $f.new
-    mv $f.new $f
-done
-
-# In all other Python shebang lines, remove use of /usr/bin/env,
-# without changing timestamps
+# Remove '/usr/bin/env', without changing timestamps, in all python shebangs:
 for f in `find . -name \*.py`
 do
     sed 's|/usr/bin/env python3|/usr/bin/python3|' $f >$f.new
@@ -123,26 +110,24 @@ do
     mv $f.new $f
 done
 
-make config-gcc
-
-# Change manual source files to use libertine font rather than non-free
-# luximono
-for f in `find manual -name \*.tex -exec grep -l {luximono} {} \;`
-do
-    sed -i 's|{luximono}|{libertine}|' $f
-done
-
-
 %build
-%set_build_flags
-make %{?_smp_mflags} PREFIX="%{_prefix}" ABCEXTERNAL=%{_bindir}/abc PRETTY=0 all manual
+# turning off newly-added sv-slang frontend support, for now;
+# FIXME: decide on packaging slang dependency vs. enabling bundled subrepo!
+%cmake -DYOSYS_ABC_EXECUTABLE=%{_bindir}/abc \
+       -DYOSYS_WITHOUT_SLANG=ON
+%cmake_build
+#manual
+# For some reason, `yosys-sbtbmc` & `yosys-witness` python scripts
+# end up not being executable (which causes building the manual to fail):
+chmod +x %{__cmake_builddir}/%{name}*
+%cmake_build -t docs-latexpdf
 
-%global man_date "`stat -c %y debian/man/yosys-smtbmc.txt | awk '{ print $1 }'`"
-txt2man -d %{man_date} -t YOSYS-SMTBMC debian/man/yosys-smtbmc.txt >yosys-smtbmc.1
+date=$(stat -c %y debian/man/yosys-smtbmc.txt | cut -d' ' -f1)
+txt2man -d $date -t YOSYS-SMTBMC debian/man/yosys-smtbmc.txt >yosys-smtbmc.1
 
 
 %install
-%make_install PREFIX="%{_prefix}" ABCEXTERNAL=%{_bindir}/abc STRIP=/bin/true
+%cmake_install
 
 # move include files to includedir
 install -d -m0755 %{buildroot}%{_includedir}
@@ -154,19 +139,23 @@ install -m 0644 yosys-smtbmc.1 debian/yosys{,-config,-filterlib}.1 %{buildroot}%
 
 # install documentation
 install -d -m0755 %{buildroot}%{_docdir}/%{name}
-install -m 0644 manual/*.pdf %{buildroot}%{_docdir}/%{name}
+install -m 0644 docs/build/latex/yosyshqyosys.pdf %{buildroot}%{_docdir}/%{name}
+
+%py_byte_compile %{python3} %{buildroot}%{_datadir}/yosys/python3
 
 %check
-make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
+%cmake_build -t test
 
 
 %files
 # license texts requested upstream:
 #   https://github.com/YosysHQ/yosys/issues/263
+%license COPYING
 %doc README.md
 %{_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*
@@ -184,6 +173,297 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
 
 
 %changelog
+* Fri Jul 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.67-3.20260713git22c15a7
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
+
+* Mon Jul 13 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.67.2.20260713git22c15a7
+- update to newer 0.67 snapshot
+- simplify downstream (un-bundling) patch since some upstream support added
+
+* Thu Jul 09 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.67.1.20260709gitb88b73a
+- update to 0.67 snapshot
+- switch build to cmake
+
+* Mon Jun 01 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.66.1.20260601git86f2dde
+- update to 0.66 snapshot
+
+* Tue May 12 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.65.1.20260512git90c26fe
+- update to 0.65 snapshot
+
+* Wed Mar 04 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.63.1.20260304git3bc26ff
+- update to 0.63 snapshot
+
+* Thu Feb 05 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.62.1.20260205git1717fa0
+- update to 0.62 snapshot
+
+* Thu Jan 15 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.61.1.20260115git967b47d
+- update to 0.61 snapshot
+
+* Fri Dec 05 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.60.1.20251205git0e31e38
+- update to 0.60 snapshot
+
+* Tue Nov 11 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.59.1.20251111git529886f
+- update to 0.59 snapshot
+
+* Fri Oct 10 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.58.1.20251010git9a12d92
+- update to 0.58 snapshot
+
+* Fri Sep 19 2025 Python Maint <python-maint@redhat.com> - 0.57-2.20250904gitcec48c6
+- Rebuilt for Python 3.14.0rc3 bytecode
+
+* Thu Sep 04 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.57.1.20250904gitcec48c6
+- update to 0.57 snapshot
+- update man pages from Debian
+
+* Fri Aug 15 2025 Python Maint <python-maint@redhat.com> - 0.56-2.20250810git8c71226
+- Rebuilt for Python 3.14.0rc2 bytecode
+
+* Sun Aug 10 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.56.1.20250810git8c71226
+- update to 0.56 snapshot
+
+* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.55-2.20250707git60f126c
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
+
+* Mon Jul 07 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.55.1.20250707git60f126c
+- update to 0.55 snapshot
+
+* Tue Jun 10 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.54.1.20250610gite0747b7
+- update to 0.54 snapshot
+
+* Tue May 06 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.53.1.20250506git53c22ab
+- update to 0.53 snapshot
+
+* Fri Apr 11 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.52.1.20250411gitfee39a3
+- update to 0.52 snapshot
+- update man pages from Debian
+
+* Wed Mar 26 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.51.2.20250313gitc4b5190
+- pick earliest 0.51 snapshot, buy time to fix subsequent upstream regression
+
+* Thu Mar 13 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.51.1.20250313gite44d1d4
+- update to 0.51 snapshot
+
+* Tue Feb 11 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.50.1.20250211git6f9c515
+- update to 0.50 snapshot
+
+* Tue Jan 21 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.49.1.20250121gite456f2e
+- update to 0.49 snapshot (incl. fix for tcl 9.0, see BZ 2337817)
+
+* Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.48- 0.20241211gite91e95f.1
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
+
+* Wed Dec 11 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.48.0.20241211gite91e95f
+- remove doc-offline patch (solved by setting SPHINXOPTS='' instead)
+- update to 0.48 snapshot
+
+* Sun Nov 10 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.47.1.20241110gitf20f913
+- switch primary source & patches to autosetup
+- update to 0.47 snapshot
+
+* Thu Oct 24 2024 Zbigniew Jedrzejewski-Szmek <zbyszek@in.waw.pl> - 0.46-4.20241011gita00137c
+- Call %%py_byte_compile and apply patch to fix build reproducibility
+
+* Wed Oct 23 2024 Zbigniew Jedrzejewski-Szmek <zbyszek@in.waw.pl> - 0.46-3.20241011gita00137c
+- Rebuild for rust-add-determinism-0.4.3-1.fc42
+
+* Mon Oct 14 2024 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 0.46-2.20241011gita00137c
+- Rebuild for rust-add-determinism-0.4.0-2.fc42
+
+* Fri Oct 11 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.46.1.20241011gita00137c
+- update to 0.46 snapshot
+
+* Thu Sep 05 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.45.1.20240905gite8951ab
+- update to 0.45 snapshot
+- add patch to remove badge image network download during doc build
+
+* Thu Aug 08 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.44.1.20240808git77b2ae2
+- update to 0.44 snapshot
+
+* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.43-2.20240716git49f5477
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
+
+* Tue Jul 16 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.43.1.20240716git49f5477
+- update to 0.43 snapshot
+
+* Mon Jun 10 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.42.1.20240610git960d8e3
+- update to 0.42 snapshot
+
+* Fri May 24 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.41.1.20240524git56c8439
+- update to 0.41 snapshot
+- update man pages from Debian (thanks Mary Guillemard <mary@mary.zone>)
+
+* Thu Apr 11 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.40.1.20240411git47bdb3e
+- update to 0.40 snapshot
+- update documentation build process
+
+* Thu Mar 14 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.39.1.20240314gitb3124f3
+- update to 0.39 snapshot
+
+* Sat Feb 10 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.38.1.20240210gitac0fb2e
+- update to 0.38 snapshot
+
+* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.37-2.20240117git6a7fad4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
+
+* Wed Jan 17 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.37.1.20240117git6a7fad4
+- update to 0.37 snapshot
+
+* Mon Dec 18 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.36.1.20231218gitd87bd7c
+- update to 0.36 snapshot
+
+* Wed Nov 08 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.35.1.20231108git5691cd0
+- update to 0.35 snapshot
+
+* Fri Oct 06 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.34.1.20231006git8367f06
+- update to 0.34 snapshot
+
+* Tue Sep 12 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.33.1.20230905git05f0262
+- update to 0.33 snapshot
+
+* Wed Aug 09 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.32.1.20230809git389b8d0
+- update to 0.32 snapshot
+- switch abc [build]requires to yosyshq-abc
+
+* Wed Aug 02 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.31.2.20230729gitb04d0e0
+- drop i686 (https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval)
+
+* Sat Jul 29 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.31.1.20230729gitb04d0e0
+- update to 0.31 snapshot
+
+* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.30-2.20230607git5813809
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
+
+* Wed Jun 07 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.30.1.20230607git5813809
+- update to 0.30 snapshot
+
+* Thu May 11 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.29.1.20230511gitd82bae3
+- update to 0.29 snapshot
+
+* Sun Apr 23 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.28.1.20230423git51dd029
+- update to 0.28 snapshot
+
+* Tue Mar 07 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.27.1.20230307gitb58664d
+- update to 0.27 snapshot
+
+* Wed Feb 15 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.26.1.20230215git1c667fa
+- update to 0.26 snapshot
+
+* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.25-2.20230104git7bac192
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
+
+* Wed Jan 04 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.25.1.20230104git7bac192
+- update to 0.25 snapshot
+
+* Fri Dec 09 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.24.1.20221209git7ad7b55
+- update to 0.24 snapshot
+
+* Wed Nov 09 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.23.1.20221109gitc75f12a
+- update to 0.23 snapshot
+
+* Thu Oct 06 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.22.1.20221006gitc4a52b1
+- update to 0.22 snapshot
+
+* Mon Sep 12 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.21.1.20220921gitd98738d
+- update to 0.21 snapshot
+
+* 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
+
+* Tue Jul 05 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.19.1.20220705git086c2f3
+- update to 0.19 snapshot
+
+* Sat Jun 11 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.18.1.20220611gitb15a46c
+- update to 0.18 snapshot
+
+* Mon May 09 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.17.1.20220509git587e09d
+- update to 0.17 snapshot
+
+* Thu Apr 07 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.16.1.20220407git4da3f28
+- update to 0.16 snapshot
+
+* Fri Mar 04 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.15.1.20220304gitc312402
+- update to 0.15 snapshot
+
+* Tue Feb 22 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.14.1.20220222gita41c1df
+- update to 0.14 snapshot
+
+* Thu Jan 27 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.13.2.20220127git0e97c3f
+- update to newer 0.13 snapshot
+- remove pdf manual patch (issue fixed upstream)
+
+* Thu Jan 27 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.13.1.20220127git84f0df1
+- update to 0.13 snapshot (#2039600, #2047137)
+- patch to restore ability to build the .pdf manual (upstream PR #3156)
+
+* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.12- 3.20211209gitcdb5711
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
+
+* Sat Jan 08 2022 Miro Hrončok <mhroncok@redhat.com> - 0.12-2.20211209gitcdb5711
+- Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
+
+* Thu Dec 09 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.12.1.20211209gitcdb5711
+- update to 0.12 snapshot (#2028824)
+
+* Sat Nov 06 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.11.1.20211106git9a41380
+- update snapshot
+
+* Tue Sep 28 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.10.1.20210928git62739f7
+- update snapshot
+
+* Sun Sep 05 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.9.16.20210904git50be8fd
+- undo 'single thread to avoid race condition while building pdf doc'
+
+* Sun Sep 05 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.9.15.20210904git50be8fd
+- use single thread to avoid race condition in pdf doc build
+
+* Sat Sep 04 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.9.14.20210904git50be8fd
+- update snapshot
+
+* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-13.20210523gitdf2b79c
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
+
+* Sun May 23 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.9.12.20210523gitdf2b79c
+- update snapshot
+
+* Wed Mar 10 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.9-11.20210310git26e01a6
+- exclude arch s390x (abc use broken on all Big Endian CPUs, see BZ 1937362, 1937395)
+
+* Sun Mar 07 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.9-10.20210307git9cdc6b5
+- Switch to snapshots (releases are too infrequent w.r.t. development speed)
+
+* Thu Jan 28 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-9
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
+
+* Sat Oct 17 2020 Jeff Law <law@redhat.com> - 0.9-8
+- Fix missing #include for gcc-11
+
+* Thu Aug 06 2020 Gabriel Somlo <gsomlo@gmail.com> - 0.9-7
+- Disable LTO for f33 rebuild (BZ 1865657)
+
+* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-6
+- Second attempt - Rebuilt for
+  https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Thu Apr 23 2020 Dan Horák <dan[at]danny.cz> - 0.9-4
+- updated Requires for yosys-devel
+
+* Sun Apr 19 2020 Marcus A. Romer <aimylios@gmx.de> - 0.9-3
+- Update man pages from Debian
+- Add license text
+
+* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
+
+* Mon Aug 26 2019 Gabriel Somlo <gsomlo@gmail.com> - 0.9-1
+- Update to latest release
+- Spec file cleanup
+
 * Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild