# ChangeLog for sci-mathematics/frama-c
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: $

*frama-c-20130601 (24 Feb 2014)

  24 Feb 2014; Andrew Savchenko <bircoph@gmail.com> +frama-c-20130601.ebuild,
  +files/frama-c-ocaml-4.01.patch, +files/frama-c-make.patch:
  Version bump. Fix build with make >= 4.x, add ocaml-4.01 support.

  14 Jan 2013; J.-C. Demay <jcdemay@gmail.com>
  +frama-c-20120901.ebuild, -frama-c-20111001.ebuild:
  version bump

  21 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
  +frama-c-20111001.ebuild, -frama-c-20110201.ebuild:
  version bump

  06 may 2011; J.-C. Demay <jcdemay@gmail.com>
  +frama-c-20110201.ebuild, -frama-c-20101202_beta2.ebuild:
  version bump

  14 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
  +frama-c-20101202_beta2.ebuild, -frama-c-20100401.ebuild, -files/frama-c-20100401-plugin_install.patch:
  version bump

  11 Jul 2010; Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
  frama-c-20100401.ebuild:
  Dropped ~sparc since dependencies cannot be fulfilled.

  08 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
  +frama-c-20100401.ebuild:
  version bump

  22 Jun 2010; Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
  frama-c-20090901.ebuild, +metadata.xml:
  QA fixes