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 c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel