diff options
author | Justin Lecher <jlec@gentoo.org> | 2015-06-06 12:22:20 +0200 |
---|---|---|
committer | Justin Lecher <jlec@gentoo.org> | 2015-06-06 12:22:20 +0200 |
commit | 6ef79c2b660839a4859e5040734387981dd963f4 (patch) | |
tree | 914a2eb83ad0b68a71bcb13d152dda5b5b2fde23 /sci-mathematics | |
parent | sci-libs/openblas: Add missing eclass (diff) | |
download | sci-6ef79c2b660839a4859e5040734387981dd963f4.tar.gz sci-6ef79c2b660839a4859e5040734387981dd963f4.tar.bz2 sci-6ef79c2b660839a4859e5040734387981dd963f4.zip |
sci-mathematics/acl2: Add github to remote-id in metadata.xml
Package-Manager: portage-2.2.20
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/acl2/ChangeLog | 3 | ||||
-rw-r--r-- | sci-mathematics/acl2/metadata.xml | 23 |
2 files changed, 16 insertions, 10 deletions
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog index baff65ab7..76c3446f5 100644 --- a/sci-mathematics/acl2/ChangeLog +++ b/sci-mathematics/acl2/ChangeLog @@ -2,6 +2,9 @@ # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ + 06 Jun 2015; Justin Lecher <jlec@gentoo.org> metadata.xml: + sci-mathematics/acl2: Add github to remote-id in metadata.xml + *acl2-7.0 (25 Mar 2015) 25 Mar 2015; zcj <ustcscgy@163.com> +acl2-7.0.ebuild, -acl2-6.3.ebuild, diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml index 47ab9cabf..672cea888 100644 --- a/sci-mathematics/acl2/metadata.xml +++ b/sci-mathematics/acl2/metadata.xml @@ -1,21 +1,24 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci-mathematics</herd> - <maintainer> - <email>dongxuli2011@gmail.com</email> - <name>Dongxu Li</name> - <description>Industrial strength theorem prover</description> - </maintainer> - <longdescription> + <herd>sci-mathematics</herd> + <maintainer> + <email>dongxuli2011@gmail.com</email> + <name>Dongxu Li</name> + <description>Industrial strength theorem prover</description> + </maintainer> + <longdescription> ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award. </longdescription> - <use> - <flag name="books"> + <use> + <flag name="books"> build community books, the canonical collection of open-source libraries </flag> - </use> + </use> + <upstream> + <remote-id type="github">acl2/acl2</remote-id> + </upstream> </pkgmetadata> |