BTW, last page can be accessed from the one you cite below inder the
build logs link.

Take care,

Matt Kaufmann <[EMAIL PROTECTED]> writes:

> Great!  I'm not sure how this works.  Does this mean that someone (or
> some automated process perhaps) will soon be creating a Debian binary
> release of ACL2 3.2 on top of GCL 2.6.8pre/?  I didn't seen that at
> http://packages.qa.debian.org/a/acl2.html; should I check back in a
> few days?
> 
> Thanks --
> -- Matt
>    Sender: [EMAIL PROTECTED]
>    Cc: gcl-devel@gnu.org
>    From: Camm Maguire <[EMAIL PROTECTED]>
>    Date: 17 May 2007 15:48:55 -0400
>    X-SpamAssassin-Status: No, hits=2.1 required=5.0
>    X-UTCS-Spam-Status: No, hits=-270 required=200
> 
>    Greetings!  Subject says it all.  To be built atop a gcl effectively
>    at 2.6.8pre.
> 
>    Take care,
>    -- 
>    Camm Maguire                                               [EMAIL 
> PROTECTED]
>    ==========================================================================
>    "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
> 
> 
> 
> 

-- 
Camm Maguire                                            [EMAIL PROTECTED]
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


_______________________________________________
Gcl-devel mailing list
Gcl-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/gcl-devel

Reply via email to