[rpms/yosyshq-abc] rawhide: update to 0.67

[Gabriel Somlo <gsomlo@gmail.com>]

A new commit has been pushed.

Repo   : rpms/yosyshq-abc
Branch : rawhide
Commit : 21ea5d157aabc55cd24490ae6e36b3cddbe6b876
Author : Gabriel Somlo <gsomlo@gmail.com>
Date   : 2026-07-12T12:34:55-04:00
Stats  : +20/-16 in 9 file(s)
URL    : https://src.fedoraproject.org/rpms/yosyshq-abc/c/21ea5d157aabc55cd24490ae6e36b3cddbe6b876?branch=rawhide

Log:
update to 0.67

---
diff --git a/.gitignore b/.gitignore
index 9ecf447..c782d98 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,3 +16,4 @@
 /abc-734f64d.tar.gz
 /abc-8e40154.tar.gz
 /abc-5d51a5e.tar.gz
+/abc-e026ed5.tar.gz

diff --git a/0001-fedora-do-not-use-bundled-libraries.patch b/0001-fedora-do-not-use-bundled-libraries.patch
index bb1153b..7f4f7aa 100644
--- a/0001-fedora-do-not-use-bundled-libraries.patch
+++ b/0001-fedora-do-not-use-bundled-libraries.patch
@@ -1,4 +1,4 @@
-From a362b1d4b5149fdd5e4d3fe58201d50b794eba4a Mon Sep 17 00:00:00 2001
+From 776df5fa5b9ab9866e6853712f9bb362fcde27e3 Mon Sep 17 00:00:00 2001
 From: Gabriel Somlo <gsomlo@gmail.com>
 Date: Tue, 12 May 2026 09:43:00 -0400
 Subject: [PATCH 1/6] fedora: do not use bundled libraries
@@ -84,7 +84,7 @@ index cad335d4f..110256ad1 100644
  
  
 diff --git a/src/map/scl/sclLiberty.c b/src/map/scl/sclLiberty.c
-index 06d40c84b..e381b1cdb 100644
+index 98d5e2ab3..0d08a3426 100644
 --- a/src/map/scl/sclLiberty.c
 +++ b/src/map/scl/sclLiberty.c
 @@ -25,7 +25,7 @@

diff --git a/0002-fedora-build-shared-instead-of-static-library.patch b/0002-fedora-build-shared-instead-of-static-library.patch
index 2800a66..041f74f 100644
--- a/0002-fedora-build-shared-instead-of-static-library.patch
+++ b/0002-fedora-build-shared-instead-of-static-library.patch
@@ -1,4 +1,4 @@
-From 74b02835544eb3ab15da22aacde5c1e1db6a7a10 Mon Sep 17 00:00:00 2001
+From 2f995ee89f3b6bc445e3f8389d77a921818b6627 Mon Sep 17 00:00:00 2001
 From: Gabriel Somlo <gsomlo@gmail.com>
 Date: Fri, 4 Aug 2023 11:17:27 -0400
 Subject: [PATCH 2/6] fedora: build shared instead of static library

diff --git a/0003-fedora-fix-minor-header-issue.patch b/0003-fedora-fix-minor-header-issue.patch
index b10b410..f4766ad 100644
--- a/0003-fedora-fix-minor-header-issue.patch
+++ b/0003-fedora-fix-minor-header-issue.patch
@@ -1,4 +1,4 @@
-From 14e101e849693479f39d67a2499bd4c74668c0b7 Mon Sep 17 00:00:00 2001
+From 4fae5b122ea6e68c7f1e0e0a27bd379c9271d74a Mon Sep 17 00:00:00 2001
 From: Gabriel Somlo <gsomlo@gmail.com>
 Date: Fri, 4 Aug 2023 11:20:05 -0400
 Subject: [PATCH 3/6] fedora: fix minor header issue

diff --git a/0004-fedora-set-soname-on-the-library.patch b/0004-fedora-set-soname-on-the-library.patch
index 2e120ef..678d21e 100644
--- a/0004-fedora-set-soname-on-the-library.patch
+++ b/0004-fedora-set-soname-on-the-library.patch
@@ -1,4 +1,4 @@
-From f8e16758cc329aaacb5b61d1309b7ca796caebcd Mon Sep 17 00:00:00 2001
+From 11fd83c0f9411da6465304160c43d0cc03e96b01 Mon Sep 17 00:00:00 2001
 From: Gabriel Somlo <gsomlo@gmail.com>
 Date: Tue, 11 Nov 2025 16:57:38 -0500
 Subject: [PATCH 4/6] fedora: set soname on the library

diff --git a/0005-fedora-fix-sprintf-calls-that-may-overflow-their-buf.patch b/0005-fedora-fix-sprintf-calls-that-may-overflow-their-buf.patch
index d62ee89..42eeaa7 100644
--- a/0005-fedora-fix-sprintf-calls-that-may-overflow-their-buf.patch
+++ b/0005-fedora-fix-sprintf-calls-that-may-overflow-their-buf.patch
@@ -1,4 +1,4 @@
-From 859b7ea5e8bdc6b2628c2f2b47fa7b3842fc7a8f Mon Sep 17 00:00:00 2001
+From 56e2ed6ae37a78fda77cfa3f000007feb1ec2193 Mon Sep 17 00:00:00 2001
 From: Gabriel Somlo <gsomlo@gmail.com>
 Date: Fri, 4 Aug 2023 11:23:25 -0400
 Subject: [PATCH 5/6] fedora: fix sprintf calls that may overflow their buffers
@@ -14,10 +14,10 @@ Subject: [PATCH 5/6] fedora: fix sprintf calls that may overflow their buffers
  7 files changed, 12 insertions(+), 12 deletions(-)
 
 diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
-index dc249282c..256333130 100644
+index 9a20230f6..da084af7e 100644
 --- a/src/base/abci/abc.c
 +++ b/src/base/abci/abc.c
-@@ -27354,7 +27354,7 @@ int Abc_CommandSymFun( Abc_Frame_t * pAbc, int argc, char ** argv )
+@@ -27980,7 +27980,7 @@ int Abc_CommandSymFun( Abc_Frame_t * pAbc, int argc, char ** argv )
          printf( "%s\n", pTruth );
      // read the truth table to be the current network in ABC
      pCommand = ABC_CALLOC( char, strlen(pTruth) + 100 );
@@ -26,7 +26,7 @@ index dc249282c..256333130 100644
      Cmd_CommandExecute( pAbc, pCommand );
      ABC_FREE( pCommand );
      ABC_FREE( pTruth );
-@@ -50938,7 +50938,7 @@ int Abc_CommandAbc9Cone( Abc_Frame_t * pAbc, int argc, char ** argv )
+@@ -51713,7 +51713,7 @@ int Abc_CommandAbc9Cone( Abc_Frame_t * pAbc, int argc, char ** argv )
          Gia_ManForEachPo( pAbc->pGia, pObj, i )
          {
              Gia_Man_t * pOne = Gia_ManDupDfsCone( pAbc->pGia, pObj );
@@ -109,7 +109,7 @@ index e75fcd90f..06e07a853 100644
          // update formula
          Mio_LibraryShortFormula( pGate, pGate->pForm, Buffer );
 diff --git a/src/map/scl/sclLibUtil.c b/src/map/scl/sclLibUtil.c
-index 4115143c3..308b5b41e 100644
+index e132b7341..bc712bfaf 100644
 --- a/src/map/scl/sclLibUtil.c
 +++ b/src/map/scl/sclLibUtil.c
 @@ -205,7 +205,7 @@ void Abc_SclShortNames( SC_Lib * p )

diff --git a/0006-fedora-fix-out-of-bounds-array-access-in-gia-code-be.patch b/0006-fedora-fix-out-of-bounds-array-access-in-gia-code-be.patch
index 00a5a98..beec5a1 100644
--- a/0006-fedora-fix-out-of-bounds-array-access-in-gia-code-be.patch
+++ b/0006-fedora-fix-out-of-bounds-array-access-in-gia-code-be.patch
@@ -1,4 +1,4 @@
-From d52049e5ae0995d1c54d72218eac5af64a324f1f Mon Sep 17 00:00:00 2001
+From 1702a1ee2d29afbeea0fd37bdbb7eb3db6a9d62e Mon Sep 17 00:00:00 2001
 From: Gabriel Somlo <gsomlo@gmail.com>
 Date: Fri, 4 Aug 2023 11:24:53 -0400
 Subject: [PATCH 6/6] fedora: fix out-of-bounds array access in gia code
@@ -9,7 +9,7 @@ Subject: [PATCH 6/6] fedora: fix out-of-bounds array access in gia code
  1 file changed, 1 insertion(+), 1 deletion(-)
 
 diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
-index 6fddcac96..647b7475f 100644
+index b4d2ba35b..d3be9b287 100644
 --- a/src/aig/gia/gia.h
 +++ b/src/aig/gia/gia.h
 @@ -1163,7 +1163,7 @@ static inline int         Gia_ObjCellId( Gia_Man_t * p, int iLit )          { re

diff --git a/sources b/sources
index 2586f43..e47517f 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (abc-5d51a5e.tar.gz) = d644cd88d7d57b793dfb5b176cffa7f24eef8e283b3a6ab4572f51616bd7708f6735fe62c0f5e41392bea65dd252de27c30fa97874efec9d9af755535e51b0b2
+SHA512 (abc-e026ed5.tar.gz) = a6a8c16b2ed4db02074e756a52ed353a6e2ea79e02995362e5bcda22ea8fba3915c61e904f779be0ac63637262391a6faba65e8390db92a2ea64e01645d7d356

diff --git a/yosyshq-abc.spec b/yosyshq-abc.spec
index f686820..6015b6f 100644
--- a/yosyshq-abc.spec
+++ b/yosyshq-abc.spec
@@ -1,7 +1,7 @@
 # Upstream doesn't make releases.  We have to check the code out of git.
-%global commit0 5d51a5e420f5de493d07bf61109a977248c86ffb
+%global commit0 e026ed5380f3bdc3beea2ff9ffc23236fc549d5b
 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7})
-%global snapdate 20260512
+%global snapdate 20260709
 
 # This is a fork of github.com/berkeley-abc/abc.git maintained by YosysHQ
 %global prjname abc
@@ -23,7 +23,7 @@
 # This should be done for each branch in which abc-libs will be updated.
 
 Name:           yosyshq-%{prjname}
-Version:        0.65
+Version:        0.67
 Release:        1.%{snapdate}git%{shortcommit0}%{?dist}
 Summary:        Sequential logic synthesis and formal verification
 # The ABC code itself is MIT-Modern-Variant.
@@ -170,6 +170,9 @@ install -p -m 0644 %{prjname}.1 %{buildroot}%{_mandir}/man1
 %{_libdir}/lib%{prjname}.so
 
 %changelog
+* Thu Jul 09 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.67-1.20260709gite026ed5
+- update to 0.67 snapshot
+
 * Tue May 12 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.65-1.20260512git5d51a5e
 - update to 0.65 snapshot