Package: frama-c / 20140301+neon+dfsg-3
Metadata
Package | Version | Patches format |
---|---|---|
frama-c | 20140301+neon+dfsg-3 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
0001 Fix spelling error in binary.patch | (download) |
Changelog |
4 2 + 2 - 0 ! |
fix spelling-error-in-binary |
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 Port to OCamlgraph 1.8.5.patch | (download) |
src/impact/reason_graph.ml |
2 1 + 1 - 0 ! |
port to ocamlgraph 1.8.5 |
0005 Don t fail during the configure on bytecode architec.patch | (download) |
configure.in |
2 1 + 1 - 0 ! |
don't fail during the configure on bytecode architectures |