[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: ACL2 Version 4.0
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: ACL2 Version 4.0 |
Date: |
Thu, 08 Jul 2010 15:16:32 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) |
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
- [Gcl-devel] Re: ACL2 Version 4.0,
Camm Maguire <=
- [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/08
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/25
- [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/25
- [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/25
- [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/26
- Message not available
- Message not available
- Message not available
- [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/26
- [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/26
- Re: [Gcl-devel] Re: ACL2 Version 4.0, George W. Dinolt, 2010/07/26
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27