Debian Patches

Status for zimpl/3.7.0+ds-2

Patch Description Author Forwarded Bugs Origin Last update
fix-typos-in-manpage.patch Fix encoding errors in manpage. Joachim Reichel <reichel@debian.org> no
use-utf8-in-examples.patch Encode umlauts as UTF8.=================================================================== Joachim Reichel <reichel@debian.org> no
shared-library.patch Build shared library. Build a shared library instead of a static library. ZIMPL leaves some symbols
undefined, namely those listed in src/zimpl/xlpglue.h. They take advantage of
the fact that linking with a static library only pulls in the referenced
symbols to avoid referring to the xlp symbols in certain cases, for example,
in the scip test suite. Since Fedora wants shared libraries, we have to give
those symbols weak dummy definitions to avoid unresolved symbols at link time
Jerry James <loganjerry@gmail.com> not-needed https://src.fedoraproject.org/rpms/zimpl/blob/rawhide/f/zimpl-shared.patch 2026-01-26
check-abort.patch Only check for "Aborted" in error tests. Sometimes "(core dumped)" doesn't appear (e.g., on Salsa CI runners). Doug Torrance <dtorrance@debian.org> not-needed 2026-01-26

All known versions for source package 'zimpl'

Links