[Gcl-devel] Re: ACL2 Version 4.0

[Camm Maguire]

Greetings!  

1) I've uploaded acl2-4.0 into Debian.  I know there are perhaps some
non-trivial changes, so I was wondering if you would find it useful to
reexamine the acl2 package structure for needed changes.  If so, you
can find .deb files at

 ftp://ftp.debian.org/debian/pool/main/a/acl2/*4.0*i386*deb

and can see a listing with

dpkg -c foo.deb

or

ar x foo.deb; tar tvf data.tgz

2) I have the ppc and intel macs working together now on the same
codebase.  Have not yet uploaded into the gcl cvs source tree.  Your
machine has been invaluable -- thanks!
-- 
Camm Maguire                                        address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah