[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: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