diff --git a/pyexternals/patches/pyeda-0.29.0.patch b/pyexternals/patches/pyeda-0.29.0.patch deleted file mode 100644 index e5aa0cab1ad7f04cb283d168150dad7223263de8..0000000000000000000000000000000000000000 --- a/pyexternals/patches/pyeda-0.29.0.patch +++ /dev/null @@ -1,6 +0,0 @@ ---- setup.py~ 2023-11-19 18:33:30.000000000 +0100 -+++ setup.py 2024-07-24 13:13:45.018399166 +0200 -@@ -189,1 +189,1 @@ -- Extension("pyeda.boolalg.espresso", **ESPRESSO), -+ Extension("pyeda.boolalg.espresso", **ESPRESSO, extra_compile_args=["-Wno-incompatible-pointer-types"]), -