gcl-devel
[Top][All Lists]
Advanced

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

[Gcl-devel] Re: acl2 3.2 uploaded to Debian unstable


From: Camm Maguire
Subject: [Gcl-devel] Re: acl2 3.2 uploaded to Debian unstable
Date: 17 May 2007 16:38:54 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!

http://buildd.debian.org/pkg.cgi?pkg=acl2

which should be updated in a few days. gcl_2.6.7-33 is current
2.6.8pre in cvs.

Take care,

Matt Kaufmann <address@hidden> 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: address@hidden
>    Cc: address@hidden
>    From: Camm Maguire <address@hidden>
>    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                                               address@hidden
>    ==========================================================================
>    "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
> 
> 
> 
> 

-- 
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]