Package: frama-c | Debian Sources

Package: frama-c / 20220511-manganese-5

Package	Version	Patches format
frama-c	20220511-manganese-5	3.0 (quilt)

Patch	File delta	Description
0001 Use bin cp instead of usr bin install.patch \| (download)	share/Makefile.common \| 2 1 + 1 - 0 ! 1 file changed, 1 insertion(+), 1 deletion(-)	use /bin/cp instead of /usr/bin/install
0002 Disable CHMOD_RO invocations.patch \| (download)	share/Makefile.common \| 2 1 + 1 - 0 ! 1 file changed, 1 insertion(+), 1 deletion(-)	disable chmod_ro invocations
0003 Value.cmo needs LoopAnalysis.cmo.patch \| (download)	Makefile \| 4 4 + 0 - 0 ! 1 file changed, 4 insertions(+)	value.cmo needs loopanalysis.cmo
0004 Fix compilation with recent yojson.patch \| (download)	src/libraries/utils/json.mll \| 10 6 + 4 - 0 ! 1 file changed, 6 insertions(+), 4 deletions(-)	fix compilation with recent yojson Bug-Debian: https://bugs.debian.org/1040537

Patch	File delta	Description
0001 Use bin cp instead of usr bin install.patch \| (download)	share/Makefile.common \| 2 1 + 1 - 0 ! 1 file changed, 1 insertion(+), 1 deletion(-)	use /bin/cp instead of /usr/bin/install
0002 Disable CHMOD_RO invocations.patch \| (download)	share/Makefile.common \| 2 1 + 1 - 0 ! 1 file changed, 1 insertion(+), 1 deletion(-)	disable chmod_ro invocations
0003 Value.cmo needs LoopAnalysis.cmo.patch \| (download)	Makefile \| 4 4 + 0 - 0 ! 1 file changed, 4 insertions(+)	value.cmo needs loopanalysis.cmo
0004 Fix compilation with recent yojson.patch \| (download)	src/libraries/utils/json.mll \| 10 6 + 4 - 0 ! 1 file changed, 6 insertions(+), 4 deletions(-)	fix compilation with recent yojson Bug-Debian: https://bugs.debian.org/1040537