Debian Patches

Status for frama-c/20220511-manganese-5

Search:

Patch	Description	Author	Forwarded	Bugs	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

Showing 1 to 4 of 4 entries