[Gcl-devel] Re: ACL2 Version 2.7 release

[Camm Maguire]

Greetings!  Forgot to mention that the full certification is now part
of the package build.

Take care,

Matt Kaufmann <address@hidden> writes:

> Hi --
> 
> Regarding the recent emails about creating a Debian package for ACL2 (thanks
> again, Camm, and also Mike T. for your recent email):
> 
> J Moore and I hav just released ACL2 Version 2.7.  The ACL2 home page
> (http://www.cs.utexas.edu/users/moore/acl2/) now points to the new version.
> The previous version (2.6) is accessible from there via a link.
> 
> -- Matt
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah