Debian Patches

Status for gmpfrxx-mkii/1.5.0+ds-1

Patch Description Author Forwarded Bugs Origin Last update
version-default-context-provider-soname.patch Give the external default-context provider ABI soname 1 The provider exports the versioned gmpxx_mkII_default_context_v1 C API.
Give its shared object a major-version soname so Debian can ship the runtime
library separately from the development symlink and headers.
Maho NAKATA <maho.nakata@gmail.com> not-needed 2026-09-24
version-info-source-archive.patch Make version metadata test support source archives The release tarball does not contain a .git directory, so its generated
commit-hash metadata is "unknown". Compare version information against the
configured project version and accept the documented unknown hash for source
archives.
Maho NAKATA <maho.nakata@gmail.com> not-needed 2026-09-24

All known versions for source package 'gmpfrxx-mkii'

Links