diff options
Diffstat (limited to 'sci-mathematics/acl2/metadata.xml')
-rw-r--r-- | sci-mathematics/acl2/metadata.xml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml deleted file mode 100644 index b3d826757..000000000 --- a/sci-mathematics/acl2/metadata.xml +++ /dev/null @@ -1,25 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="person"> - <email>dongxuli2011@gmail.com</email> - <name>Dongxu Li</name> - <description>Industrial strength theorem prover</description> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </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">build community books, the canonical collection of open-source libraries</flag> - </use> - <upstream> - <remote-id type="github">acl2/acl2</remote-id> - </upstream> -</pkgmetadata> |