From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pigeon.gentoo.org ([208.92.234.80] helo=lists.gentoo.org) by finch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1QaWah-0002HP-Am for garchives@archives.gentoo.org; Sat, 25 Jun 2011 17:24:19 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 8A2EA1C0FE; Sat, 25 Jun 2011 17:21:55 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id 517511C0FE for ; Sat, 25 Jun 2011 17:21:55 +0000 (UTC) Received: from pelican.gentoo.org (unknown [66.219.59.40]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id B1BB72AC055 for ; Sat, 25 Jun 2011 17:21:54 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id DDD598003E for ; Sat, 25 Jun 2011 17:21:53 +0000 (UTC) From: "Justin Lecher" To: gentoo-commits@lists.gentoo.org Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Justin Lecher" Message-ID: <65aefa15bf9985ec8c52ebd919bd31645e7398c6.jlec@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/acl2/ChangeLog sci-mathematics/acl2/acl2-4.2.ebuild X-VCS-Directories: sci-mathematics/acl2/ X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: 65aefa15bf9985ec8c52ebd919bd31645e7398c6 Date: Sat, 25 Jun 2011 17:21:53 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: quoted-printable X-Archives-Salt: X-Archives-Hash: 6f52be53bde2a4207e81caadf8f01b55 commit: 65aefa15bf9985ec8c52ebd919bd31645e7398c6 Author: Justin Lecher gentoo org> AuthorDate: Fri Jun 24 20:18:41 2011 +0000 Commit: Justin Lecher gentoo org> CommitDate: Fri Jun 24 20:18:41 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3D65aefa15 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/Change= Log 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: $ =20 + 24 Jun 2011; Justin Lecher acl2-4.2.ebuild: + Some ebuild cleaning + *acl2-4.2 (13 Apr 2011) =20 13 Apr 2011; Dongxu Li -files/set-booksdir.pa= tch: 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 =20 DESCRIPTION=3D"ACL2 industrial strength theorem prover" - HOMEPAGE=3D"http://www.cs.utexas.edu/users/moore/acl2/" - SRC_URI=3D"http://www.cs.utexas.edu/users/moore/acl2/v${PV/\./-}/distrib= /acl2.tar.gz" =20 -LICENSE=3D"GPL-2" - SLOT=3D"0" - +LICENSE=3D"GPL-2" KEYWORDS=3D"~amd64 ~x86" - IUSE=3D"" =20 -#RESTRICT=3D"strip" - DEPEND=3D"dev-lisp/sbcl" - RDEPEND=3D"${DEPEND}" =20 S=3D"${WORKDIR}/${PN}-sources"