[Gcl-devel] Re: ACL2 Version 2.7 release

[Matt Kaufmann]

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