Package: frama-c / 20171101+sulfur+dfsg-2
Metadata
Package | Version | Patches format |
---|---|---|
frama-c | 20171101+sulfur+dfsg-2 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
0002 Use bin cp instead of usr bin install.patch | (download) |
share/Makefile.common |
2 1 + 1 - 0 ! |
use /bin/cp instead of /usr/bin/install |
0003 Disable CHMOD_RO invocations.patch | (download) |
share/Makefile.common |
2 1 + 1 - 0 ! |
disable chmod_ro invocations |
0004 Use ocamlfind package lablgtk2 gnome.gnomecanvas.patch | (download) |
share/Makefile.config.in |
2 1 + 1 - 0 ! |
use ocamlfind package lablgtk2-gnome.gnomecanvas |
0005 Value.cmo needs LoopAnalysis.cmo.patch | (download) |
Makefile |
4 4 + 0 - 0 ! |
value.cmo needs loopanalysis.cmo |
0007 Fix FTBFS with OCaml 4.05.0.patch | (download) |
src/kernel_services/analysis/dataflow.ml |
2 1 + 1 - 0 ! |
fix ftbfs with ocaml 4.05.0 |
0006 Fix installation on bytecode architectures.patch | (download) |
Makefile |
10 8 + 2 - 0 ! |
fix installation on bytecode architectures |