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

  16 Sep 2014; Christoph Junghans <ottxor@gentoo.org> gappalib-coq-1.0.0.ebuild:
  remove last line

  21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com>
  -gappalib-coq-0.18.0.ebuild, -files/gappalib-coq-coq84.patch, gappalib-coq-1.0.0.ebuild:
  version bump

  03 Mar 2013; Justin Lecher <jlec@gentoo.org>
  gappalib-coq-0.18.0.ebuild, metadata.xml:
  Drop pcc and sparc keywords as deps are not keyworded; move to EAPI=5

  14 Jan 2013; Jonathan-Christofer Demay <jcdemay@gmail.com>
  -gappalib-coq-0.16.0.ebuild, +gappalib-coq-0.18.0.ebuild, +files/gappalib-coq-coq84.patch:
  version bump

  12 Dec 2011; Jonathan-Christofer Demay <jcdemay@gmail.com>
  -gappalib-coq-0.14.1.ebuild, -gappalib-coq-0.16.0.ebuild:
  version bump

  04 Jul 2010; Jonathan-Christofer Demay <jcdemay@gmail.com>
  -gappalib-coq-0.13.ebuild, +gappalib-coq-0.14.1.ebuild:
  version bump

  04 Jul 2010; Jonathan-Christofer Demay <jcdemay@gmail.com>
  -gappalib-coq-0.12.ebuild, +gappalib-coq-0.13.ebuild:
  version bump

  04 Jul 2010; Jonathan-Christofer Demay <jcdemay@gmail.com>
  +metadata.xml, +ChangeLog:
  QA fixes