Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
0001-Use-bin-cp-instead-of-usr-bin-install.patch | Use /bin/cp instead of /usr/bin/install | Mehdi Dogguy <mehdi@debian.org> | no | 2012-01-02 | ||
0002-Disable-CHMOD_RO-invocations.patch | Disable CHMOD_RO invocations | Mehdi Dogguy <mehdi@debian.org> | no | 2012-01-03 | ||
0003-Value.cmo-needs-LoopAnalysis.cmo.patch | Value.cmo needs LoopAnalysis.cmo Value plugin needs LoopAnalysis, but appears first during the linking phase. In order to workaround that, we move it before Value.cmo in the PLUGIN_CMO_LIST variable. |
Mehdi Dogguy <mehdi@debian.org> | yes | 2016-12-21 | ||
0004-Fix-compilation-with-recent-yojson.patch | Fix compilation with recent yojson | Stephane Glondu <steph@glondu.net> | no | debian | 2023-07-13 |