[Gcl-devel] Re: GCL getting slushy ...

[Camm Maguire]

Greetings!  Great to hear.  The version in testing is only slightly
out of date.  In two days, it should have a version that is nearly
identical to what we are planning to release.  You can check 

http://packages.qa.debian.org/g/gcl.html

for news for gcl in Debian if you wish.

Take care,


"Matyas Sustik A." <address@hidden> writes:

> A happy user:
> 
> I am using ACL2 2.7 with gcl 2.6.1 (I compiled it) on a P3 under
> Debian without any problems.  By the way the debian testing release
> points to gcl-2.6.1 so an apt-get install gcl was all I had to do to
> get the new gcl.
> 
> Matyas
> 
> > 
> > Greetings!  This is just a heads up that its looking good for a GCL
> > stable release by 2/29.  If you have any testing you want to do, now
> > is the time!
> > 
> > At least on Debian GNU/Linux, I can state that no GCL specific
> > problems are known in building and self-testing any of gcl,acl2,maxima
> > and axiom on all 11/12 supported platforms.  Likewise nqthm-1992 and
> > pc-nqthm-1992, the latter with an expanded value stack, also pass on
> > i386. 
> > 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah