[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: ACL2 Version 2.7 release

From: Camm Maguire
Subject: [Gcl-devel] Re: ACL2 Version 2.7 release
Date: 19 Nov 2002 15:49:48 -0500

Greetings, and thanks for the update!

2.7-1 built fine with only the expected modifications to the object
  list, and has been uploaded.  We'll see what the autobuilders do.
  2.6-15 built and passed (short) tests everywhere except m68k.

This is a minor issue, but if you maintained a single directory with
links to your versions named something like acl2-2.6.tar.gz
acl2-2.7.tar.gz, etc, then I could automatically check for newer
versions, download, patch and compile on an unattended basis.
(Uploads of course are always performed manually).

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]