[gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/

["Justin Lecher" <jlec@gentoo.org>]

commit:     65aefa15bf9985ec8c52ebd919bd31645e7398c6
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 24 20:18:41 2011 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Fri Jun 24 20:18:41 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=65aefa15

Some ebuild cleaning

(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)

---
 sci-mathematics/acl2/ChangeLog       |    5 ++++-
 sci-mathematics/acl2/acl2-4.2.ebuild |   10 +---------
 2 files changed, 5 insertions(+), 10 deletions(-)

diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 48176d9..5a37fb3 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -1,7 +1,10 @@
 # ChangeLog for sci-mathematics/acl2
-# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  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:

diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/acl2-4.2.ebuild
index 9c13965..bf7d919 100644
--- a/sci-mathematics/acl2/acl2-4.2.ebuild
+++ b/sci-mathematics/acl2/acl2-4.2.ebuild
@@ -5,23 +5,15 @@
 inherit eutils
 
 DESCRIPTION="ACL2 industrial strength theorem prover"
-
 HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/"
-
 SRC_URI="http://www.cs.utexas.edu/users/moore/acl2/v${PV/\./-}/distrib/acl2.tar.gz"
 
-LICENSE="GPL-2"
-
 SLOT="0"
-
+LICENSE="GPL-2"
 KEYWORDS="~amd64 ~x86"
-
 IUSE=""
 
-#RESTRICT="strip"
-
 DEPEND="dev-lisp/sbcl"
-
 RDEPEND="${DEPEND}"
 
 S="${WORKDIR}/${PN}-sources"