# ChangeLog for sci-mathematics/cvc3
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/cvc3/ChangeLog,v 1.6 2012/12/14 09:49:53 ulm Exp $

  14 Dec 2012; Ulrich Müller <ulm@gentoo.org> cvc3-2.4.1.ebuild:
  Update LICENSE from as-is to HPND, bug 418455.

  05 Dec 2012; Mark Wright <gienah@gentoo.org> cvc3-2.4.1.ebuild:
  Remove the static-libs use flag, as upstream do not support static in a way
  that is suitable for Gentoo (it disables building the shared libraries).
  EAPI=5 with subslot depends to automatically rebuild cvc3 when isabelle is
  updated if the isabelle use flag is enabled.

  29 Nov 2012; Mark Wright <gienah@gentoo.org> cvc3-2.4.1.ebuild:
  Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice:
  //usr/lib/pkgconfig/cvc3.pc installed in ${D}/${D}

  01 Jun 2012; Mark Wright <gienah@gentoo.org> cvc3-2.4.1.ebuild, metadata.xml:
  Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.

  31 May 2012; Ulrich Müller <ulm@gentoo.org> files/50cvc3-gentoo.el:
  Remove spurious comment from site-init file for Emacs.

*cvc3-2.4.1 (30 May 2012)

  30 May 2012; Mark Wright <gienah@gentoo.org> +cvc3-2.4.1.ebuild,
  +files/50cvc3-gentoo.el, +metadata.xml:
  Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.