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

  12 Nov 2014; Justin Lecher <jlec@gentoo.org> -acl2-4.2.ebuild,
  -acl2-4.3.ebuild:
  Drop old

  09 Dec 2013; Justin Lecher <jlec@gentoo.org> acl2-6.3.ebuild, metadata.xml:
  Add missing die

  15 Aug 2011; Dongxu Li <dongxuli2011@gmail.com> +acl2-4.3.ebuild:
  Updated metadata

  7 Jul 2011; Dongxu Li <dongxuli2011@gmail.com> +acl2-4.3.ebuild:
  Version bump to 4.3

  24 Jun 2011; Justin Lecher <jlec@gentoo.org> acl2-4.2.ebuild:
  Some ebuild cleaning

*acl2-4.2 (13 Apr 2011)

  13 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> -files/set-booksdir.patch:
  Build books in pkg_postinst(), following #49316

  12 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> +files/set-booksdir.patch:
  fixed books dir for certificates

  12 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> +acl2-4.2.ebuild +ChangeLog +metadata.xml :
  Initial import.  #49316