acl2 (3.1-1) unstable; urgency=low * New upstream release -- Camm Maguire Mon, 4 Dec 2006 10:35:42 -0500 acl2 (3.0.1-8) unstable; urgency=low * Fix dlopen.lisp.in -- Camm Maguire 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 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 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 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 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 Wed, 11 Oct 2006 11:09:29 -0400 acl2 (3.0.1-2) unstable; urgency=low * rebuild against newer gcl -- Camm Maguire Wed, 30 Aug 2006 18:53:50 -0400 acl2 (3.0.1-1) unstable; urgency=low * New upstream release -- Camm Maguire 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 Sat, 10 Jun 2006 17:42:09 +0000 acl2 (2.9.4-1) unstable; urgency=low * New upstream release -- Camm Maguire 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 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 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 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 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 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 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 Fri, 12 Aug 2005 20:57:23 +0000 acl2 (2.9.2-1) unstable; urgency=low * New upstream release -- Camm Maguire 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 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 Sat, 8 Jan 2005 19:03:36 +0000 acl2 (2.9-2) unstable; urgency=high * Don't strip saved_acl2 on powerpc, see #210809. -- Camm Maguire 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 Mon, 25 Oct 2004 13:29:46 +0000 acl2 (2.8-6) unstable; urgency=low * acl2 suggests acl2-emacs -- Camm Maguire 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 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 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 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 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 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 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 Thu, 5 Feb 2004 15:22:05 +0000 acl2 (2.7-7) unstable; urgency=low * More verbose testing output to overcome autobuild timeout problems -- Camm Maguire Tue, 10 Dec 2002 13:20:34 -0500 acl2 (2.7-6) unstable; urgency=low * new gcl for m68k, Closes: #171593 -- Camm Maguire 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 Mon, 25 Nov 2002 10:13:16 -0500 acl2 (2.7-4) unstable; urgency=low * Fix bad patch -- Camm Maguire 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 Thu, 21 Nov 2002 17:53:51 -0500 acl2 (2.7-2) unstable; urgency=low * Build-depends on tetex-base -- Camm Maguire 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 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 Sun, 17 Nov 2002 16:36:09 -0500 acl2 (2.6-14) unstable; urgency=low * Fix bad diff, Closes #169493 -- Camm Maguire Sun, 17 Nov 2002 12:28:46 -0500 acl2 (2.6-13) unstable; urgency=low * Fix acl2 path issue in infix subbuild -- Camm Maguire 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 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 Wed, 13 Nov 2002 21:35:22 -0500 acl2 (2.6-10) unstable; urgency=low * Added missing Build-deps: Closes: #168968 -- Camm Maguire Wed, 13 Nov 2002 14:04:32 -0500 acl2 (2.6-9) unstable; urgency=low * gcl >= -67 for ppc and m68k -- Camm Maguire 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 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 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 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 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 Tue, 29 Oct 2002 20:30:42 -0500 acl2 (2.6-3) unstable; urgency=low * Add emacs21 | emacsen, debhelper to Build-Deps -- Camm Maguire Mon, 28 Oct 2002 18:40:07 -0500 acl2 (2.6-2) unstable; urgency=low * Fix emacsen and info post-install -- Camm Maguire Sat, 26 Oct 2002 21:34:36 -0400 acl2 (2.6-1) unstable; urgency=low * Initial Release. -- Camm Maguire Sat, 26 Oct 2002 11:58:58 -0400