| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar.patch | Fix TDBFS on bytecode-architectures | André Maroneze <Andre.MARONEZE@cea.fr> | no | |||
| 0002-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 | ||
| 0003-Disable-CHMOD_RO-invocations.patch | Disable CHMOD_RO invocations | Mehdi Dogguy <mehdi@debian.org> | no | 2012-01-03 | ||
| 0005-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 |