diff options
author | 2013-03-03 14:22:06 +0100 | |
---|---|---|
committer | 2013-03-03 14:22:06 +0100 | |
commit | 59fa31bafda9188fcdfb64284a5dd1ec2ee70ed3 (patch) | |
tree | 8280bba1e4dbe49b4caa1d5beffb3585926405ff /sci-mathematics/gappalib-coq/metadata.xml | |
parent | sci-mathematics/lattE-macchiato: Fix rename of USE nocxx to cxx for dev-libs/gmp (diff) | |
download | sci-59fa31bafda9188fcdfb64284a5dd1ec2ee70ed3.tar.gz sci-59fa31bafda9188fcdfb64284a5dd1ec2ee70ed3.tar.bz2 sci-59fa31bafda9188fcdfb64284a5dd1ec2ee70ed3.zip |
sci-mathematics/gappalib-coq: Drop pcc and sparc keywords as deps are not keyworded; move to EAPI=5
Package-Manager: portage-2.2.0_alpha164
Diffstat (limited to 'sci-mathematics/gappalib-coq/metadata.xml')
-rw-r--r-- | sci-mathematics/gappalib-coq/metadata.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/gappalib-coq/metadata.xml index 67a0fb5eb..f2cbd1ccf 100644 --- a/sci-mathematics/gappalib-coq/metadata.xml +++ b/sci-mathematics/gappalib-coq/metadata.xml @@ -1,13 +1,13 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> + <herd>sci</herd> + <longdescription> While Gappa is intended to be used directly, it can also act as a backend prover for the Why software verification plateform or as an automatic tactic for the Coq proof assistant. </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> + <maintainer> + <email>sci@gentoo.org</email> + </maintainer> </pkgmetadata> |