Package: frama-c / 20111001+nitrogen+dfsg-4
Metadata
Package | Version | Patches format |
---|---|---|
frama-c | 20111001+nitrogen+dfsg-4 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
0001 Add ocamlgraph to DYN_ O B LINKFLAGS.patch | (download) |
Makefile |
4 2 + 2 - 0 ! |
add +ocamlgraph to dyn_{o,b}linkflags |
0002 Accept ocamlgraph 1.8.patch | (download) |
configure |
2 1 + 1 - 0 ! |
accept ocamlgraph 1.8* |
0003 Fix spelling error in binary.patch | (download) |
Changelog |
8 4 + 4 - 0 ! |
fix spelling-error-in-binary |
0004 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 |
0005 Disable CHMOD_RO invocations.patch | (download) |
share/Makefile.common |
2 1 + 1 - 0 ! |
disable chmod_ro invocations |
0006 Patchlevel2 for Nitrogen 20111001.patch | (download) |
Changelog |
21 21 + 0 - 0 ! |
patchlevel2 for nitrogen 20111001 |
0007 Port to OCamlgraph 1.8.2.patch | (download) |
src/misc/service_graph.ml |
2 1 + 1 - 0 ! |
port to ocamlgraph 1.8.2 o Graph.Topological: as of OCamlgraph 1.8.2, the input graph must implement Sig.COMPARABLE instead of Sig.HASHABLE |