gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] ACL2 2.8 Debian packages


From: Camm Maguire
Subject: [Gcl-devel] ACL2 2.8 Debian packages
Date: 12 May 2004 21:45:27 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!  This is just a quick note indicating that the ACL2 2.8
Debian packages are now believed to be finalized.  They are built with
GCL, which carries ACL2 to all 11 Debian platforms (i386 ia64 hppa
alpha mips mipsel s390 sparc m68k arm powerpc), passing all tests (in
this case, 'mini-proveall' and successful certification of all
included books).  Binaries can be found at

ftp://ftp.debian.org/debian/pool/main/a/acl2/

ACL2 has been split into several Debian packages to comply with Debian
policy regarding separation of binaries and binary-independent data.
These are

acl2:              main binary
acl2-source:       source files
acl2-emacs:        emacs interface
acl2-infix:        infix interface
acl2-infix-source: infix source
acl2-books:        compiled libraries
acl2-books-source: library sources
acl2-books-certs:  library certificates
acl2-doc:          documentation

I've just released 2.8-3, which will take about 10 days to autobuild
on all platforms.  It is then expected that this version will ship
with the next Debian release (aka "sarge") most likely this summer.

It is also believed that current GCL compiles ACL2 successfully on
Solaris, FreeBSD, OpenBSD, MacOSX, and Windows, and the 'Debian
port-in-progress', amd64.

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]