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 1Q9gpl-0004j6-5v for garchives@archives.gentoo.org; Tue, 12 Apr 2011 16:52:57 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 18A911C042; Tue, 12 Apr 2011 16:52:50 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id DAF061C042 for ; Tue, 12 Apr 2011 16:52:49 +0000 (UTC) Received: from pelican.gentoo.org (unknown [66.219.59.40]) (using TLSv1 with cipher ADH-CAMELLIA256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id E3CA81BC0DE for ; Tue, 12 Apr 2011 16:52:48 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 50BF180019 for ; Tue, 12 Apr 2011 16:52:48 +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: <53edfc99dfede307cce7150045877ed7b7b2d5e7.jlec@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: / X-VCS-Repository: proj/sci X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: 53edfc99dfede307cce7150045877ed7b7b2d5e7 Date: Tue, 12 Apr 2011 16:52:48 +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: 22c3db4bdd25160d5263476c70ec9a62 commit: 53edfc99dfede307cce7150045877ed7b7b2d5e7 Author: Justin Lecher gentoo org> AuthorDate: Tue Apr 12 16:52:20 2011 +0000 Commit: Justin Lecher gentoo org> CommitDate: Tue Apr 12 16:52:20 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3D53edfc99 Merge branch 'master' of git+ssh://git.overlays.gentoo.org/proj/sci * 'master' of git+ssh://git.overlays.gentoo.org/proj/sci: sci-mathematics/acl2: industrial strength theorem prover, #49316 sci-mathematics/acl2/ChangeLog | 9 +++ sci-mathematics/acl2/Manifest | 4 + sci-mathematics/acl2/acl2-4.2.ebuild | 63 ++++++++++++++= ++++++ .../dgs =3D> sci-mathematics/acl2}/metadata.xml | 0 4 files changed, 76 insertions(+), 0 deletions(-)