1 files changed, 0 insertions, 46 deletions
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
deleted file mode 100644
index 844002994..000000000
--- a/sci-mathematics/acl2/ChangeLog
+++ /dev/null
@@ -1,46 +0,0 @@
-# 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