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 1Qt1Kh-00032U-W6 for garchives@archives.gentoo.org; Mon, 15 Aug 2011 17:52:19 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id DA9D021C045; Mon, 15 Aug 2011 17:52:06 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id A3B9C21C045 for ; Mon, 15 Aug 2011 17:52:06 +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 BCC881B4010 for ; Mon, 15 Aug 2011 17:52:05 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id CECE880040 for ; Mon, 15 Aug 2011 17:52:04 +0000 (UTC) From: "Dongxu Li" To: gentoo-commits@lists.gentoo.org Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Dongxu Li" Message-ID: <41489b7edfc0f0598f8f228743491cd976893d0f.dongxuli@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/metadata.xml X-VCS-Directories: sci-mathematics/acl2/ X-VCS-Committer: dongxuli X-VCS-Committer-Name: Dongxu Li X-VCS-Revision: 41489b7edfc0f0598f8f228743491cd976893d0f Date: Mon, 15 Aug 2011 17:52:04 +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: c76195d166551affe80c4d0a6e30b11b commit: 41489b7edfc0f0598f8f228743491cd976893d0f Author: Dongxu Li gmail com> AuthorDate: Mon Aug 15 17:48:22 2011 +0000 Commit: Dongxu Li gmail com> CommitDate: Mon Aug 15 17:48:22 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3D41489b7e sci-mathematics/acl2: updated metadata --- sci-mathematics/acl2/ChangeLog | 3 +++ sci-mathematics/acl2/metadata.xml | 14 +++++++++----- 2 files changed, 12 insertions(+), 5 deletions(-) diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/Change= Log index 1d33757..5b182f9 100644 --- a/sci-mathematics/acl2/ChangeLog +++ b/sci-mathematics/acl2/ChangeLog @@ -2,6 +2,9 @@ # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ =20 + 15 Aug 2011; Dongxu Li +acl2-4.3.ebuild: + Updated metadata + 7 Jul 2011; Dongxu Li +acl2-4.3.ebuild: Version bump to 4.3 =20 diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/met= adata.xml index fab9a66..a6f96cd 100644 --- a/sci-mathematics/acl2/metadata.xml +++ b/sci-mathematics/acl2/metadata.xml @@ -1,9 +1,13 @@ -sci - - Dongxu Li - dongxuli2011@gmail.com - + sci + + dongxuli2011@gmail.com + Dongxu Li + ACL2 industrial strength theorem prover + + ACL2 is both a programming language in which you can m= odel computer systems and a tool to help you prove properties of those mo= dels. + +ACL2 is part of the Boyer-Moore family of provers, for which its authors= have received the 2005 ACM Software System Award.