[acl2/acl2]

[Eric W. Smith]

Branch: refs/heads/cpp-speedups
Home: https://github.com/acl2/acl2

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Mihir Mehta]

[MattKaufmann]

Branch: refs/tags/post-8.7-for-debian-gcl

[Matt Kaufmann]

Note that this tag is (I'm pretty sure) for hash
518b637a57305bbc58b8c0670f6b0652ce234758 from May 16. Camm Maguire
has told me that he plans to make a Debian release (based on GCL) for
that ACL2 version.

-- Matt

> --
> --
> ACL2-books help:
> To post new messages: acl2-...@googlegroups.com
> To unsubscribe: acl2-books-...@googlegroups.com
> More options: http://groups.google.com/group/acl2-books?hl=en
>
> ---
> You received this message because you are subscribed to the Google Groups "acl2-books" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to acl2-books+...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/acl2-books/acl2/acl2/push/refs/tags/post-8.7-for-debian-gcl/000000-9b7bc6%40github.com.