diff options
Diffstat (limited to 'sci-mathematics/acl2/metadata.xml')
-rw-r--r-- | sci-mathematics/acl2/metadata.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml index e2db827ec..b77817aa3 100644 --- a/sci-mathematics/acl2/metadata.xml +++ b/sci-mathematics/acl2/metadata.xml @@ -15,11 +15,11 @@ 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> +</longdescription> <use> <flag name="books"> - build community books, the canonical collection of open-source libraries - </flag> +build community books, the canonical collection of open-source libraries +</flag> </use> <upstream> <remote-id type="github">acl2-devel/acl2-devel</remote-id> |