# ChangeLog for sci-mathematics/acl2
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
# $Id$

*acl2-7.1 (16 Jun 2015)

  16 Jun 2015; zcj <ustcscgy@163.com> +acl2-7.1.ebuild, -acl2-7.0.ebuild,
  metadata.xml:
  sci-mathematics/acl2: sci-mathematics/acl2: Version bump; Upstream url
  changes.

  06 Jun 2015; Justin Lecher <jlec@gentoo.org> metadata.xml:
  sci-mathematics/acl2: Add github to remote-id in metadata.xml

*acl2-7.0 (25 Mar 2015)

  25 Mar 2015; zcj <ustcscgy@163.com> +acl2-7.0.ebuild, -acl2-6.3.ebuild,
  -files/set-booksdir.patch, metadata.xml:
  sci-mathematics/acl2: sci-mathematics/acl2 version bump, drop old

  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