diff options
| -rw-r--r-- | sci-mathematics/acl2/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/acl2/Manifest | 15 | ||||
| -rw-r--r-- | sci-mathematics/acl2/acl2-4.2.ebuild | 10 |
3 files changed, 18 insertions, 12 deletions
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog index 48176d913..5a37fb3b9 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/Manifest b/sci-mathematics/acl2/Manifest index 1cb5a906a..02b00d2d7 100644 --- a/sci-mathematics/acl2/Manifest +++ b/sci-mathematics/acl2/Manifest @@ -1,4 +1,15 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + +AUX set-booksdir.patch 591 RMD160 a4775c520b3756e8b33de8bc38b54e4873c57a39 SHA1 37ccf5718c75a6e4f45fdbfe8876ec8acf625e5b SHA256 2b6e65de0d25705444f6d75dc2e8658433bd79d5c180026da34b230bf9808bea DIST acl2.tar.gz 11699557 RMD160 622dbef91b3af8d75a99cc482ca240a20cc8af0a SHA1 75c24b3fc6b1ca0e7a4163fd47088eca3b0c1104 SHA256 0f727b44257640346dc6eecc046f339b171676e79c31883535281e61bbfca077 -EBUILD acl2-4.2.ebuild 1171 RMD160 3ecf0b3b40ef64fce05872335970b92b9307e12f SHA1 ac2d708e05176d8484e5a87bc9cd57ea1b89bcae SHA256 eb0e42bfabbdece0aa7d1c1978c21ab6835b3a7485882a39a5de865a0b8c8e03 -MISC ChangeLog 508 RMD160 2561e715a5e033265726b6b21ad0b54a5ea3aa9c SHA1 f7edc4c6d898cf0a2843957cfb339c90ddde2441 SHA256 1fe5549394c3acb062e710f4dca45ebf0173b0c705d9864a000234055c1e504b +EBUILD acl2-4.2.ebuild 1146 RMD160 28e3c9501699fa1762d85d4bca4cafa3abf7c817 SHA1 f92b0fbdba8fc28fdc017059dce601aba6f7bf94 SHA256 e1b6bffb596791dc65de391f32a5f984cc409fd95ed743430df990d7439e85b6 +MISC ChangeLog 596 RMD160 452638339debc95a94e58be2983a922cbf479649 SHA1 b211120f5fe33a8ebe50c3de8b964d71634220ea SHA256 108b88ef5f447139afccb57e9ee9f458aad86b4efd8194391668ac1365c20df0 MISC metadata.xml 215 RMD160 bc9c07aa91f2f175542244e4e4522a73558210a1 SHA1 facb283386de1c0b6b938cdcd4dde04d1694298b SHA256 13f32353652adbd3d934d41381cfc2cacc9e1127c508cebc73806cc1026ee80c +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.17 (GNU/Linux) + +iEYEARECAAYFAk4E8SAACgkQgAnW8HDreRYVsQCgn6D5WwElrrTFwgfr4bMItbQu +PL0AoNAu4WmDjMSiiXA4kgX4Mjzsw2B3 +=voYN +-----END PGP SIGNATURE----- diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/acl2-4.2.ebuild index 9c1396593..bf7d91955 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" |