[Top][All Lists]
[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:39:24 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
BTW, last page can be accessed from the one you cite below inder the
build logs link.
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