[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: ACL2 Version 2.7 release
From: |
Matt Kaufmann |
Subject: |
[Gcl-devel] Re: ACL2 Version 2.7 release |
Date: |
Tue, 19 Nov 2002 16:42:21 -0600 (CST) |
Hi, Camm --
Thanks for the good news about ACL2 2.7 as a Debian package. That was quick!
Actually, acl2.tar.gz is only part of the story, in particular, there are
workshops.tar.gz and nonstd.tar.gz. We do releases only infrequently (the last
one was in November 2001) and you can tell when there's a new one by going to
http://www.cs.utexas.edu/users/moore/acl2/ (and/or joining the acl2 mailing
list).
-- Matt
Cc: address@hidden, address@hidden, address@hidden,
address@hidden, address@hidden
From: Camm Maguire <address@hidden>
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