| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| upstream-libtool-versioning.patch | upstream: libtool: versioning Provide autotool material to set up the version of the SO libraries (see libtool manual for details). |
Jerome Benoit <calculus@rezozer.net> | yes | vendor, Debian | 2019-05-17 | |
| upstream-libtool-version_script.patch | upstream: libtool: version script support Provides version scripts [1] for the shipped libraries. The map (or version scripts) were basically extracted by hand. For the C map, from the package C headers themselves with the help of the following sed script: . ##eantic2map.sed /^static __inline__/,/^}/d s@FLINT_DLL[ ]*@@g s@^\(void\|int\|ulong\|slong\|long int\|double\|char\)[* ]*\([a-zA-Z0-9_]*\)(.*$@\2;@p # eos . For the C++ map, from the C++ SO library with the help of objdump(1). [Remark: It appears that the C++ library is rather small. Would it be possible to put all the C++ material only in the C++ header ?]. This material uses the ld-version-script.m4 script as furnished by gnulib [2]. [1] https://www.gnu.org/software/gnulib/manual/html_node/LD-Version-Scripts.html [2] https://www.gnu.org/software/gnulib/ . EANTIC_FIXED_fmpq_poly_add_fmpq added to script by Peter Michael Green as part of the patching to support flint 2.6.3 |
Peter Michael Green <plugwash@debian.org> | yes | vendor, Debian | 2020-08-27 | |
| debianization.patch | debianization Meant to maintain a minimal debian/rules, to fix warnings, to address Debian specific stuff in general. This is a Debian centric patch. |
Jerome Benoit <calculus@rezozer.net> | not-needed | vendor, Debian | 2019-05-10 |