summaryrefslogtreecommitdiff
path: root/devel/frama-c
AgeCommit message (Expand)AuthorFilesLines
2013-02-16Recursive bump for png-1.6.wiz1-2/+2
2013-02-06PKGREVISION bumps for the security/openssl 1.0.1d update.jperkin1-2/+2
2013-01-26Revbump after graphics/jpeg and textproc/icuadam1-2/+2
2012-12-15Bump PKGREVISION from devel/nss 3.14.0.ryoon1-2/+2
2012-10-31Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-3/+1
2012-10-08Revbump after updating graphics/pangoadam1-1/+2
2012-10-08Updated devel/frama-c to its latest version. Changes include:jaapb3-53/+149
2012-10-02Mass recursive bump after the dependence fix of the "cairo" packagetron1-2/+2
2012-09-15recursive bump from libffi shlib major bumpobache1-2/+2
2012-09-07Revbump after updating graphics/cairoadam1-2/+2
2012-07-15Recursive bump for startup-notification* dependency change, requestedwiz1-2/+2
2012-06-14Recursive PKGREVISION bump for libxml2 buildlink addition.sbd1-2/+2
2012-04-27Recursive bump from icu shlib major bumped to 49.obache1-2/+2
2012-03-06Recursive PKGREVISION bump for xulrunner, nss, and nspr.ryoon1-2/+2
2012-03-03Recursive bump for pcre-8.30* (shlib major change)wiz1-2/+2
2012-02-06Revbump forwiz1-2/+2
2012-01-24Recursive dependency bump for databases/gdbm ABI_DEPENDS change.sbd1-2/+2
2012-01-13Recursive bump from audio/libaudiofile, x11/qt4-libs and x11/qt4-tools ABI bump.obache1-1/+2
2011-12-25Update to Frama-C Nitrogen release 2011-10-01asau7-1480/+808
2011-12-24Revert addition of devel/nspr; problem is now solved properlydholland1-2/+1
2011-12-23This needs libnspr4.asau1-1/+2
2011-12-23Home page and master site moved to http://frama-c.com/asau1-3/+3
2011-12-06Recursive bump for lang/ocaml buildlink addition.sbd1-2/+2
2011-11-01Recursive bump for graphics/freetype2 buildlink addition.sbd1-2/+2
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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-20 05:26:18 +0000