Package: frama-c | Debian Sources

Package: frama-c / 20220511-manganese-3

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

Patch	File delta	Description
0002 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
0003 Disable CHMOD_RO invocations.patch \| (download)	share/Makefile.common \| 2 1 + 1 - 0 ! 1 file changed, 1 insertion(+), 1 deletion(-)	disable chmod_ro invocations
0005 Value.cmo needs LoopAnalysis.cmo.patch \| (download)	Makefile \| 4 4 + 0 - 0 ! 1 file changed, 4 insertions(+)	value.cmo needs loopanalysis.cmo