summaryrefslogtreecommitdiff
path: root/devel/frama-c
AgeCommit message (Expand)AuthorFilesLines
2011-04-22recursive bump from gettext-lib shlib bump.obache1-2/+2
2011-01-13png shlib name changed for png>=1.5.0, so bump PKGREVISIONs.wiz1-2/+2
2010-11-15PKGREVISION bumps for changes to gtk2, librsvg, libbonobo and libgnomeabs1-2/+2
2010-09-14Bump dependency on pixman to 0.18.4 because cairo-1.10 needs thatwiz1-2/+2
2010-06-15Fix build with latest ocaml. From Pascal Cuoq <pascal_cuoq@hotmail.com>wiz2-1/+20
2010-06-13Bump PKGREVISION for libpng shlib name change.wiz1-2/+2
2010-01-18Second try at jpeg-8 recursive PKGREVISION bump.wiz1-2/+2
2010-01-17Recursive PKGREVISION bump for jpeg update to 8.wiz1-1/+2
2009-12-21gnomecanvas option needs gnomecanvas. Make sure PLIST_SRC is builtjoerg2-2/+6
2009-12-07Add a gnomecanvas option to fix build when lablgtk was compiled withoutwiz4-12/+27
2009-09-11import the frama-c source code analysis tooltonio5-0/+1631