21 lines
722 B
XML
21 lines
722 B
XML
|
<?xml version="1.0" encoding="UTF-8"?>
|
||
|
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
||
|
|
||
|
<pkgmetadata>
|
||
|
<longdescription>
|
||
|
ACL2 is both a programming language in which you can model computer systems
|
||
|
anda 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>
|
||
|
<bugs-to>https://github.com/acl2/acl2/issues/</bugs-to>
|
||
|
<remote-id type="github">acl2/acl2</remote-id>
|
||
|
</upstream>
|
||
|
</pkgmetadata>
|