sci-mathematics/frama-c/ChangeLog


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

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

  21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com>
  -frama-c-20130601.ebuild,-files/frama-c-ocaml-4.01.patch, -files/frama-c-make.patch, +frama-c-20140301.ebuild:
  version bump

  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; Jonathan-Christofer Demay <jcdemay@gmail.com>
  -frama-c-20111001.ebuild, +frama-c-20120901.ebuild:
  version bump

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

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

  14 Feb 2011; Jonathan-Christofer Demay <jcdemay@gmail.com>
  -frama-c-20100401.ebuild, -files/frama-c-20100401-plugin_install.patch, +frama-c-20101202_beta2.ebuild:
  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; Jonathan-Christofer 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