Greetings!
> Hi, Camm --
>
> Thanks very much for the work and the information. I took a quick
> look at https://buildd.debian.org/status/package.php?p=acl2&suite=sid,
> specifically at the logs in the failure cases (ia64, kfreebsd-i386,
> mips, mipsel), and in each case I found the follow
Hi, Camm --
Thanks for the info. As to your question:
>> BTW, what is your mac version?
I'm not sure exactly what info you would like, but it's a MacBook Pro
with a 2.66 GHz Intel Core i7 processor and 8 GB 1067 GHz DDR3 of
memory. I think I got it in about May, 2010. Here's some additional
i
Hi, Camm --
Thanks very much for the work and the information. I took a quick
look at https://buildd.debian.org/status/package.php?p=acl2&suite=sid,
specifically at the logs in the failure cases (ia64, kfreebsd-i386,
mips, mipsel), and in each case I found the following (or something
close to it,
Hi Matt! Have not forgotten about this. I think odds are good that my
last 2.6.9 commit was made yesterday. Things are a little ambiguous
because Debian just made a release, and the autobuilders are building in
a somewhat unstable environment, so my usual testing of the
maxima/axiom/acl2/hol88 b
Greetings!
git clone git://git.sv.gnu.org/gcl.git
should work now. Its identical to cvs at the moment save for some
pushed commits I've made to experimental. Comments most welcome.
Will probably tag 2.6.8 and 2.6.9 separately in git and cvs, push
tarballs to gnu.org, then abandon cvs to work i
Greetings! As part of the git migration, I have to assign names and
email addresses to the committer tags in the existing cvs repository.
My first attempt is at
http://people.debian.org/~camm/gcl.committers
For those interested, please check it out and comment on what is missing
if possible. In
