aboutsummaryrefslogtreecommitdiff
path: root/devel/frama-c/Makefile
Commit message (Expand)AuthorAgeFilesLines
* temporarily fix the build by reverting to the use of the bundledBrendan Fabeny2012-06-271-8/+1
* - Mark BROKEN: does not buildPav Lucistnik2012-06-261-0/+2
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+2
* update to Nitrogen-20111001Brendan Fabeny2011-12-211-13/+43
* fix the plist after the recent ocamlgraph update by permittingBrendan Fabeny2011-10-211-16/+19
* Add frama-c , extensible platform for source-code analysis of C.Brendan Fabeny2011-09-181-0/+109