2006
acl2 (3.1-1) unstable; urgency=low
* New upstream release
-- Camm Maguire <camm@enhanced.com> Mon, 4 Dec 2006 10:35:42 -0500
acl2 (3.0.1-8) unstable; urgency=low
* Fix dlopen.lisp.in
-- Camm Maguire <camm@enhanced.com> Thu, 19 Oct 2006 12:52:10 -0400
acl2 (3.0.1-7) unstable; urgency=low
* Build dep on libxmu-dev libxaw7-dev
-- Camm Maguire <camm@enhanced.com> Wed, 18 Oct 2006 16:36:26 -0400
acl2 (3.0.1-6) unstable; urgency=low
* really change dlopen * build dep on gcl_2.6.7-27
-- Camm Maguire <camm@enhanced.com> Tue, 17 Oct 2006 18:19:47 -0400
acl2 (3.0.1-5) unstable; urgency=low
* Add user::*fast-acl2-gcl-build* and user::*acl2-keep-tmp-files*
parameters to dlopen following upstream
* Build-Depend on gcl_2.6.7-26
-- Camm Maguire <camm@enhanced.com> Mon, 16 Oct 2006 18:05:05 -0400
acl2 (3.0.1-4) unstable; urgency=low
* Build-Depend on gcl_2.6.7-25
-- Camm Maguire <camm@enhanced.com> Thu, 12 Oct 2006 14:41:53 -0400
acl2 (3.0.1-3) unstable; urgency=low
* Build-Depend on gcl_2.6.7-23 * Newer standards
-- Camm Maguire <camm@enhanced.com> Wed, 11 Oct 2006 11:09:29 -0400
acl2 (3.0.1-2) unstable; urgency=low
* rebuild against newer gcl
-- Camm Maguire <camm@enhanced.com> Wed, 30 Aug 2006 18:53:50 -0400
acl2 (3.0.1-1) unstable; urgency=low
* New upstream release
-- Camm Maguire <camm@enhanced.com> Wed, 2 Aug 2006 17:02:24 +0000
acl2 (3.0-1) unstable; urgency=low
* New upstream release
* acl2-books-source and acl2-books-certs depend on mathcing version of
acl2, Closes: #339032.
* Fix emacs startup for xemacs -- remove error only, no autosetup of
tags table for xemacs, appears impossible. Closes: #349401
-- Camm Maguire <camm@enhanced.com> Sat, 10 Jun 2006 17:42:09 +0000
2005
acl2 (2.9.4-1) unstable; urgency=low
* New upstream release
-- Camm Maguire <camm@enhanced.com> Wed, 23 Nov 2005 23:31:29 +0000
acl2 (2.9.3-7) unstable; urgency=low
* build depend on >= gcl-2.6.7-11 to get default maxpage fix for amd64,
Closes: #323666.
-- Camm Maguire <camm@enhanced.com> Thu, 20 Oct 2005 12:46:17 +0000
acl2 (2.9.3-6) unstable; urgency=low
* build depend on >= gcl-2.6.7-10 to get ppc gcc configure fix
-- Camm Maguire <camm@enhanced.com> Thu, 13 Oct 2005 18:36:11 +0000
acl2 (2.9.3-5) unstable; urgency=low
* build depend on >= gcl 2.6.7-8 for 64bit fasd data/fixnum fix
-- Camm Maguire <camm@enhanced.com> Wed, 5 Oct 2005 19:15:41 +0000
acl2 (2.9.3-4) unstable; urgency=low
* build depend on >= gcl 2.6.7-8 for 64bit bignum/fixnum fix
-- Camm Maguire <camm@enhanced.com> Sun, 2 Oct 2005 11:23:30 +0000
acl2 (2.9.3-3) unstable; urgency=low
* Build-depend on gcl >= 2.6.7-7 to get dlopen fix needed for mips,
alpha, hppa, and ia64
* rework build strategy switching based on the native-reloc feature in
the installed gcl.
-- Camm Maguire <camm@enhanced.com> Thu, 29 Sep 2005 18:32:02 +0000
acl2 (2.9.3-2) unstable; urgency=high
* Depend on gcl 2.6.7-6 or greater with its own binutils included,
remove dependency on binutils-dev
-- Camm Maguire <camm@enhanced.com> Tue, 20 Sep 2005 19:49:42 +0000
acl2 (2.9.3-1) unstable; urgency=low
* New upstream release * probe-file -> truename infix-directory patch for gcl 2.6.7
-- Camm Maguire <camm@enhanced.com> Fri, 12 Aug 2005 20:57:23 +0000
acl2 (2.9.2-1) unstable; urgency=low
* New upstream release
-- Camm Maguire <camm@enhanced.com> Mon, 25 Apr 2005 14:00:42 +0000
acl2 (2.9.1-1) unstable; urgency=high
* New upstream release
* Bug fix: "acl2: :system dir is wrong", thanks to Patrick Calhoun
(Closes: #284780). Apologies, had inadvertently reverted previous
fix. Now include a GNUmakefile patch setting ACL2_BOOKS_DIR.
-- Camm Maguire <camm@enhanced.com> Tue, 22 Feb 2005 18:34:32 +0000
acl2 (2.9-3) unstable; urgency=low
* Update README.Debian regarding building auxiliary workshops and
non-std packages
-- Camm Maguire <camm@enhanced.com> Sat, 8 Jan 2005 19:03:36 +0000
2004
acl2 (2.9-2) unstable; urgency=high
* Don't strip saved_acl2 on powerpc, see #210809.
-- Camm Maguire <camm@enhanced.com> Fri, 5 Nov 2004 21:39:50 +0000
acl2 (2.9-1) unstable; urgency=high
* New upstream release
* Remove nullification of allocation list from debian/patches.in
* Add debian/dlopen.lisp for building on ia64,mips(el),alpha and hppa
* Revert to upstream build procedure on all other platforms
* doc-notes.txt is gone (from acl2-emacs.doc)
* mv nsaved_acl2.gcl saved_acl2 for backward compatibility with 2.8, as
we provide our own shell script wrapper.
* Remove debian/acl2-doc.info in favor of compile-time generated command
line arguments to dh_installinfo
-- Camm Maguire <camm@enhanced.com> Mon, 25 Oct 2004 13:29:46 +0000
acl2 (2.8-6) unstable; urgency=low
* acl2 suggests acl2-emacs
-- Camm Maguire <camm@enhanced.com> Thu, 7 Oct 2004 14:40:35 +0000
acl2 (2.8-5) unstable; urgency=low
* Bug fix: "acl2-emacs: ACL2 emacs mode produces an error on acl2
defstobjs definition", thanks to David (Closes: #260112). Small patch
to acl2-mode.el added to debian/patches.
* Build depend on latest gcl for performance and stability improvements.
-- Camm Maguire <camm@enhanced.com> Fri, 17 Sep 2004 13:11:05 +0000
acl2 (2.8-4) unstable; urgency=low
* Bug fix: "FTBFS: missing Build-Depends binutils-dev", thanks to Goswin
von Brederlow (Closes: #251695). Make build-depends on binutils-dev
valid for all platforms
-- Camm Maguire <camm@enhanced.com> Mon, 31 May 2004 18:32:56 +0000
acl2 (2.8-3) unstable; urgency=low
* move doc-notes.txt to acl2-emacs
* copyright and control file clarifications
* removal of Debian specific files from distribution list in READE.Debian
* addition of arithmetic-axioms.txt and fast-notes.txt to acl2-doc
* Removal of .final certificate extension from list in README.Debian
* doc-base rephrasing
* (setq *acl2-allocation-alist* nil) in debian/patches.in for enhanced
performance with recent gcl
-- Camm Maguire <camm@enhanced.com> Tue, 11 May 2004 20:45:14 +0000
acl2 (2.8-2) unstable; urgency=low
* Bug fix: "acl2: :system dir is wrong", thanks to Cesar Eduardo Barros
(Closes: #246721). Supply final system directory in POST variable in
debian/rules.
-- Camm Maguire <camm@enhanced.com> Fri, 30 Apr 2004 18:54:36 +0000
acl2 (2.8-1) unstable; urgency=low
* New upstream release
* Bug fix: "Inefficient packaging of arch independent data", thanks to
Steve McIntyre (Closes: #232883). Split package into several
components.
-- Camm Maguire <camm@enhanced.com> Fri, 16 Apr 2004 03:35:25 +0000
acl2 (2.7-9) unstable; urgency=low
* Build depend on latest gcl to try SAFE_FREAD fix for m68k and SGC
runtime check as alpha libc bug workaround
* echo any failed mini-proveall results
* require full test to succeed for build to complete
-- Camm Maguire <camm@enhanced.com> Thu, 12 Feb 2004 15:08:14 +0000
acl2 (2.7-8) unstable; urgency=low
* Fix bad directory names pertaining to earlier version
* Capitalize ACL2 in doc-base file
* Cleanup copyright file
* Replace build directory with install directory in cert files
* Apply fix to proof-checker-b.lisp
* Add a placeholder manpage
* remove dh-make template files
* newer standards
* dh_compat 4
* cleanup gcl build dependencies
* build-depend on >= gcl-2.6.1-23 for readline fixes
* debian/patches mechanism to build cert files with correct pathnames at
time of installation
* README.Debian clarifying ACL2 vs. ACL2(r)
* Patch to banner indicating binary includes corrected proof-checker.lisp
* Remove Makefiles from distribution, replace with .acl2 files as
discussed with upstream
* Add bdd/bit-vector-reader.lsp and bdd/be/* files to distribution as
requested by upstream
* Add TAGS file for source perusal, and modify tags-table-list in
emacs startup file
* distribute lisp files in interface/infix
* Protect interface/infix/sloop.lisp with #-gcl and restore to
distribution and makefile
* doinfix an acl2 example
* Add emacs/doc-notes.txt as acl2 doc file
* Add note in man page about availability of online documentation
* Add .txt and .html files from books/textbook to acl2-doc package
* mv CLI.sty into /usr/share/texmf/tex/latex, run texhash on postinst
and postrm, and depend on tetex-extra
* updated fsf address in copyright file
* gathered all patches outside the debian/ subdir into patches.in, so
that apt-get -q source acl2 will produce a pristine tree for the user
as requested upstream.
* Add table of source and binary file locations in README.Debian as
requested by upstream
* Updated watch file for new upstream links
-- Camm Maguire <camm@enhanced.com> Thu, 5 Feb 2004 15:22:05 +0000
2002
acl2 (2.7-7) unstable; urgency=low
* More verbose testing output to overcome autobuild timeout problems
-- Camm Maguire <camm@enhanced.com> Tue, 10 Dec 2002 13:20:34 -0500
acl2 (2.7-6) unstable; urgency=low
* new gcl for m68k, Closes: #171593
-- Camm Maguire <camm@enhanced.com> Thu, 5 Dec 2002 08:30:11 -0500
acl2 (2.7-5) unstable; urgency=low
* New gcl fixes for arm * cat to build log failed cert output
-- Camm Maguire <camm@enhanced.com> Mon, 25 Nov 2002 10:13:16 -0500
acl2 (2.7-4) unstable; urgency=low
* Fix bad patch
-- Camm Maguire <camm@enhanced.com> Thu, 21 Nov 2002 23:40:09 -0500
acl2 (2.7-3) unstable; urgency=low
* New gcl on m68k to fix cache flushes, Closes: #170084 * Book certification failures not fatal for now
-- Camm Maguire <camm@enhanced.com> Thu, 21 Nov 2002 17:53:51 -0500
acl2 (2.7-2) unstable; urgency=low
* Build-depends on tetex-base
-- Camm Maguire <camm@enhanced.com> Tue, 19 Nov 2002 20:11:39 -0500
acl2 (2.7-1) unstable; urgency=low
* New upstream release * new modules linear-a linear-b and non-linear * certify all books
-- Camm Maguire <camm@enhanced.com> Mon, 18 Nov 2002 20:26:16 -0500
acl2 (2.6-15) unstable; urgency=low
* Correct final pathnames in certs * remove TMP1.lisp
-- Camm Maguire <camm@enhanced.com> Sun, 17 Nov 2002 16:36:09 -0500
acl2 (2.6-14) unstable; urgency=low
* Fix bad diff, Closes #169493
-- Camm Maguire <camm@enhanced.com> Sun, 17 Nov 2002 12:28:46 -0500
acl2 (2.6-13) unstable; urgency=low
* Fix acl2 path issue in infix subbuild
-- Camm Maguire <camm@enhanced.com> Sun, 17 Nov 2002 08:58:20 -0500
acl2 (2.6-12) unstable; urgency=low
* Turn off default-system-p in final image
* tests in build target to avoid fakeroot bug on ia64, better here
anyway
* increased files distributed as recommended by upstream
* emacs interface fixes to support all Debian emacs flavors
-- Camm Maguire <camm@enhanced.com> Sat, 16 Nov 2002 23:22:25 -0500
acl2 (2.6-11) unstable; urgency=low
* Build-depends on binutils-dev for arches using bfd
-- Camm Maguire <camm@enhanced.com> Wed, 13 Nov 2002 21:35:22 -0500
acl2 (2.6-10) unstable; urgency=low
* Added missing Build-deps: Closes: #168968
-- Camm Maguire <camm@enhanced.com> Wed, 13 Nov 2002 14:04:32 -0500
acl2 (2.6-9) unstable; urgency=low
* gcl >= -67 for ppc and m68k
-- Camm Maguire <camm@enhanced.com> Wed, 13 Nov 2002 12:02:44 -0500
acl2 (2.6-8) unstable; urgency=low
* New portable gcl build mechanism for acl2, Closes: #167618
-- Camm Maguire <camm@enhanced.com> Sun, 10 Nov 2002 12:48:44 -0500
acl2 (2.6-7) unstable; urgency=low
* Add test targets * acl2-mode.el fix, Closes: #167356
-- Camm Maguire <camm@enhanced.com> Sun, 10 Nov 2002 12:48:37 -0500
acl2 (2.6-6) unstable; urgency=low
* Better (less restrictive) gcl Build-Depends * Newer standards * acl2-doc in section doc
-- Camm Maguire <camm@enhanced.com> Thu, 31 Oct 2002 21:49:44 -0500
acl2 (2.6-5) unstable; urgency=low
* Patch acl2-mode.el to handle differing xemacs/emacs behavior,
Closes: #167012
-- Camm Maguire <camm@enhanced.com> Wed, 30 Oct 2002 11:58:20 -0500
acl2 (2.6-4) unstable; urgency=low
* Rerelease to use new gcl with fixes on ia64, hppa and arm
-- Camm Maguire <camm@enhanced.com> Tue, 29 Oct 2002 20:30:42 -0500
acl2 (2.6-3) unstable; urgency=low
* Add emacs21 | emacsen, debhelper to Build-Deps
-- Camm Maguire <camm@enhanced.com> Mon, 28 Oct 2002 18:40:07 -0500
acl2 (2.6-2) unstable; urgency=low
* Fix emacsen and info post-install
-- Camm Maguire <camm@enhanced.com> Sat, 26 Oct 2002 21:34:36 -0400
acl2 (2.6-1) unstable; urgency=low
* Initial Release.
-- Camm Maguire <camm@enhanced.com> Sat, 26 Oct 2002 11:58:58 -0400