| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| degnulibrarianization.patch | degnulibrarianization Wipe out GNU Portability Library support as it only brings getopt_long which is present in glibc. This is a GCC centric patch. |
Jerome Benoit <calculus@rezozer.net> | not-needed | debian | 2014-11-25 | |
| upstream-fix-NEWS-ASCII.patch | upstream fix: no-ASCII NEWS Introduce a typo by using ASCII characters to write Groebner: this change allows (strict) LaTeX to include NEWS. |
Jerome Benoit <calculus@rezozer.net> | invalid | debian | 2018-09-15 | |
| upstream-autotoolization-shared.patch | upstream autotool machinery: shared scheme fix | Jerome Benoit <calculus@rezozer.net> | invalid | debian | 2014-11-25 | |
| upstream-autotoolization-private_shared_scheme.patch | upstream autotool machinery: private share scheme Enforce the implicitly private shared scheme already present. | Jerome Benoit <calculus@rezozer.net> | invalid | debian | 2014-11-25 | |
| 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 | debian | 2014-11-25 | |
| debianization-prefix.patch | debianization: 4ti2 tool suite prefix Prepend 4ti2- to the names of the 4ti2 tools for preventing from possible collisions. This is a Debian centric patch. |
Jerome Benoit <calculus@rezozer.net> | not-needed | debian | 2014-11-25 | |
| debianization-documentation.patch | debianization: documentation Address Debian Policy requirements for documentation; in particular silently regenerate the documentation in native PDF format. This is a Debian centric patch. |
Jerome Benoit <calculus@rezozer.net> | not-needed | debian | 2018-05-04 | |
| debianization-documentation-prefix.patch | debianization: documentation -- prefix Address Debian Policy requirements for documentation. Consistency requirement: prepend in the documentation 4ti2- to the names of the 4ti2 tools with respect to the Debian package approach for preventing from possible collisions. This is a Debian centric patch. |
Jerome Benoit <calculus@rezozer.net> | not-needed | debian | 2015-01-28 |