devel/frama-c: Update to the last release (Silicon-20161101).
Reviewed by: feld, mat
Approved by: feld, mat (mentors)
Differential Revision: https://reviews.freebsd.org/D9790
Description
Description
Details
Details
- Provenance
mmokhi Authored on - Reviewer
- feld
- Differential Revision
- Restricted Differential Revision
- Parents
- rP435382: math/ocaml-ocamlgraph: Fix finding via ocaml's ld.conf
- Branches
- Unknown
- Tags