Debian
acl2 package

Change logs for acl2 source package in Sid

Sid (98)
Change log

acl2 (8.5dfsg-5) unstable; urgency=medium

  * relieve memory pressure in build via GCL_MEM_MULTIPLE=0.1

 -- Camm Maguire <email address hidden>  Sun, 15 Jan 2023 20:02:50 -0500

acl2 (8.5dfsg-4) unstable; urgency=medium

  * build depend latest gcl

 -- Camm Maguire <email address hidden>  Sun, 08 Jan 2023 17:09:23 -0500

acl2 (8.5dfsg-3) unstable; urgency=medium

  * build depend latest gcl

 -- Camm Maguire <email address hidden>  Sun, 25 Dec 2022 18:10:20 -0500

acl2 (8.5dfsg-2) unstable; urgency=medium

  * Bug fix: "FTBFS: make: *** [debian/rules:160: infix-stamp] Error 2", thanks to Lucas Nussbaum (Closes: #1026795).
  * build depend latest gcl
  * remove superfluous tex-common from build-deps

 -- Camm Maguire <email address hidden>  Wed, 21 Dec 2022 10:43:39 -0500

acl2 (8.5dfsg-1) unstable; urgency=medium

  * New upstream release
  * Bug fix: "Please remove dependency on install-info", thanks to Hilmar
    Preusse (Closes: #1013453).

 -- Camm Maguire <email address hidden>  Wed, 27 Jul 2022 09:42:51 -0400

acl2 (8.4dfsg-2) unstable; urgency=medium

  * append make.log to build output

 -- Camm Maguire <email address hidden>  Fri, 29 Oct 2021 14:06:33 +0000

acl2 (8.4dfsg-1) unstable; urgency=medium

  * New upstream release
  * Bug fix: "run-acl2 in emacs fails", thanks to florine forine (Closes:
    #987172).

 -- Camm Maguire <email address hidden>  Thu, 28 Oct 2021 17:26:09 +0000

acl2 (8.3dfsg-4) unstable; urgency=medium

  * Source only upload to allow testing migration

 -- Camm Maguire <email address hidden>  Mon, 11 Oct 2021 12:19:41 +0000

acl2 (8.3dfsg-3) unstable; urgency=medium

  * clean build-depends
  * lintian cleanups
  * acl2-emacs -> elpa-acl2

 -- Camm Maguire <email address hidden>  Wed, 03 Feb 2021 18:36:07 +0000

acl2 (8.3dfsg-2) unstable; urgency=medium

  * certify-books -> regression-fresh
  * debhelper-compat ( = 13 )
  * standards 4.5.0
  * ISO-8859-16 -> UTF-8
  * watch version 4
  * lintian override: rfc2388.txt is not a license file
  * clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok
  * remove w3 validation in home-page.html

 -- Camm Maguire <email address hidden>  Wed, 27 Jan 2021 14:05:42 +0000

acl2 (8.3dfsg-1) unstable; urgency=medium

  * New upstream release

 -- Camm Maguire <email address hidden>  Sat, 22 Aug 2020 14:29:22 +0000

acl2 (8.2dfsg-3) unstable; urgency=medium

  * revert -2, set *split-files* to 100000 instead

 -- Camm Maguire <email address hidden>  Fri, 27 Dec 2019 15:15:44 +0000

acl2 (8.2dfsg-2) unstable; urgency=medium

  * Temporarily set GCL_MEM_MULTIPLE to 0.75 in saved_acl2 build to
    workaround gcc oom issues

 -- Camm Maguire <email address hidden>  Thu, 26 Dec 2019 20:47:09 +0000

acl2 (8.2dfsg-1) unstable; urgency=medium

  * New upstream release
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Thu, 19 Dec 2019 15:30:07 +0000

acl2 (8.1dfsg-6) unstable; urgency=medium

  * build-dep gcl ( >= 2.6.12-90)
  * latest standards

 -- Camm Maguire <email address hidden>  Mon, 09 Dec 2019 14:21:30 +0000

acl2 (8.1dfsg-5) unstable; urgency=medium

  * build-dep gcl ( >= 2.6.12-89)
  * Bug fix: "acl2 - FTBFS on ppc64el - invalid Unknown reloc type 31",
    thanks to <email address hidden></a>; (Closes: #944222).

 -- Camm Maguire <email address hidden>  Sun, 08 Dec 2019 15:13:52 +0000

acl2 (8.1dfsg-4) unstable; urgency=medium

  * source-only upload
  * Bug fix: "Build-Depends on emacs25 which has been removed from
    unstable/bullseye", thanks to Paul Gevers (Closes: #941641).

 -- Camm Maguire <email address hidden>  Thu, 31 Oct 2019 17:17:49 +0000

acl2 (8.1dfsg-3) unstable; urgency=medium

  * Bug fix: "excessive build time on 32-bit architectures", thanks to
    Aurelien Jarno (Closes: #926121).

 -- Camm Maguire <email address hidden>  Wed, 03 Apr 2019 13:47:29 +0000

acl2 (8.1dfsg-2) unstable; urgency=medium

  * Limit number of jobs on memory restricted machines
  * Build-dep latest gcl
  * latest standards
  * Bug fix: "Hangs, defeats hang detections", thanks to Christoph Egger
    (Closes: #864877).

 -- Camm Maguire <email address hidden>  Fri, 29 Mar 2019 13:39:10 +0000

acl2 (8.1dfsg-1) unstable; urgency=medium

  * New upstream release
  * Applied dfsg changes from 7.1

 -- Camm Maguire <email address hidden>  Thu, 28 Feb 2019 17:58:59 +0000

acl2 (8.0dfsg-1) unstable; urgency=medium

  * New upstream release
  * Applied dfsg changes from 7.1
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Fri, 12 Jan 2018 14:04:36 +0000

acl2 (7.4dfsg-4) unstable; urgency=medium

  * Accept NMU, thanks to Sean Whitton
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Tue, 29 Aug 2017 23:11:16 +0000

acl2 (7.4dfsg-3.1) unstable; urgency=medium

  * Non-maintainer upload.
  * Bump {build-,}deps emacs24 -> emacs25 (Closes: #870663).

 -- Sean Whitton <email address hidden>  Thu, 03 Aug 2017 17:27:43 -0400

acl2 (7.4dfsg-3) unstable; urgency=medium

  * build-dep latest gcl
  * revert mxgot for mips64

 -- Camm Maguire <email address hidden>  Thu, 08 Jun 2017 22:34:51 +0000

acl2 (7.4dfsg-2) unstable; urgency=medium

  * Set GCL_MULTIPROCESS_MEMORY_POOL for certifications
  * build-dep latest gcl for mips64el fix
  * Bug fix: "build fails on mips (mips-aql-05)", thanks to Héctor Orón
    Martínez (Closes: #863224).
  * mxgot .acl2 files patch

 -- Camm Maguire <email address hidden>  Sun, 28 May 2017 12:14:24 +0000

acl2 (7.4dfsg-1) unstable; urgency=medium

  * New upstream release

 -- Camm Maguire <email address hidden>  Mon, 08 May 2017 16:58:52 +0000

acl2 (7.2dfsg-3) unstable; urgency=medium

  * build-dep against latest gcl
  * upstream pathname patch

 -- Camm Maguire <email address hidden>  Sat, 15 Oct 2016 11:39:07 +0000

acl2 (7.2dfsg-2) unstable; urgency=medium

  * Bug fix: "FTBFS in kfreebsd-amd64", thanks to Andreas Beckmann
    (Closes: #815312).  Reduce GCL_MEM_MULTIPLE setting.
  * Bug fix: "FTBFS in stretch (looks like the same problem in maxima)",
    thanks to Santiago Vila (Closes: #819447).

 -- Camm Maguire <email address hidden>  Tue, 03 May 2016 15:05:07 +0000

acl2 (7.2dfsg-1) unstable; urgency=medium

  * New upstream release
  * Bug fix: "Please do not hide the output from tests", thanks to
    Santiago Vila (Closes: #819446).
  * Bug fix: "FTBFS in stretch (looks like the same problem in maxima)",
    thanks to Santiago Vila (Closes: #819447).

 -- Camm Maguire <email address hidden>  Wed, 13 Apr 2016 13:11:10 +0000

acl2 (7.1dfsg-2) unstable; urgency=medium

  * rebuild latest gcl, tail recursive equal works around setrlimit bug on
    s390

 -- Camm Maguire <email address hidden>  Tue, 27 Oct 2015 19:33:53 +0000

acl2 (7.1dfsg-1) unstable; urgency=medium

  * Bug fix: "[acl2] Some sources are not included in your package",
    thanks to Bastien ROUCARIÈS (Closes: #787368).
    Repackage to add missing  sources and delete questionable files.
    Removed files in orig tarball that are removed by clean target:
    books/workshops/1999/ivy/ivy-v2/ivy-sources/arithmetic.lisp.bak
    books/workshops/1999/ivy/ivy-v2/ivy-sources/util/checker.orig
    books/workshops/1999/ivy/ivy-v2/ivy-sources/util/make-saved-ivy.orig
    books/workshops/1999/ivy/ivy-v2/ivy-sources/util/sivy.orig
    books/workshops/1999/ivy/ivy-v2/ivy-sources/util/ivy.orig
    Removed sparc binary inadvertently included in upstream:
    books/workshops/2003/schmaltz-al-sammane-et-al/support/acl2link
    Added katex sources to debian/missing-sources:
    debian/missing-sources/books/xdoc/fancy/lib/katex/katex.js
    debian/missing-sources/books/xdoc/fancy/lib/katex/katex.min.css
    debian/missing-sources/books/xdoc/fancy/lib/katex/src/*
    Removed rfc file with non-dfsg licence:
    books/centaur/quicklisp/bundle/software/rfc2388-20130720-git/doc/rfc2388.txt
    Added source to debian/missing-sources to remove a lintian false positive:
    debian/missing-sources/books/workshops/2000/shumsky/slides2_files/script.js
  * build-dep latest gcl
  * updated README.Debian.in
  * remove clisp scripts from acl2-books-source
  * remove .gitignore from acl2-doc
  * added lintian override for (non) extra-license-file
    books/centaur/aignet/copying.cert

 -- Camm Maguire <email address hidden>  Wed, 21 Oct 2015 02:21:10 +0000

acl2 (7.1-3) unstable; urgency=medium

  * don't pre-allocate contiguous blocks in acl2.lisp
  * build-dep latest gcl
  * revert code-block-reserve to default set by upstream

 -- Camm Maguire <email address hidden>  Fri, 09 Oct 2015 01:09:05 +0000

acl2 (7.1-2) unstable; urgency=medium

  * build-dep latest gcl
  * 50M code-block-reserve on amd64

 -- Camm Maguire <email address hidden>  Mon, 28 Sep 2015 15:57:09 +0000

acl2 (7.1-1) unstable; urgency=medium

  * New upstream release
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Fri, 29 May 2015 14:33:46 +0000

acl2 (7.0-1) unstable; urgency=medium


  * New upstream release

 -- Camm Maguire <email address hidden>  Fri, 16 Jan 2015 10:35:45 -0500

acl2 (6.5-5) unstable; urgency=medium


  * fix syntax error in debian/rules

 -- Camm Maguire <email address hidden>  Sun, 26 Oct 2014 12:51:22 -0400

acl2 (6.5-4) unstable; urgency=medium


  * restore tick output for slow autobuilders

 -- Camm Maguire <email address hidden>  Sat, 25 Oct 2014 09:01:06 -0400

acl2 (6.5-3) unstable; urgency=medium


  * build-dep latest gcl
  * abort centaur/vl/top cert if insufficient memory (mips autobuild)

 -- Camm Maguire <email address hidden>  Fri, 24 Oct 2014 14:07:33 -0400

acl2 (6.5-2) unstable; urgency=medium


  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Wed, 20 Aug 2014 00:37:33 +0000

acl2 (6.5-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Tue, 05 Aug 2014 16:04:06 +0000

acl2 (6.4-4) unstable; urgency=low


  * parse and use parallel keyword in DEB_BUILD_OPTIONS

 -- Camm Maguire <email address hidden>  Thu, 15 May 2014 18:49:32 +0000

acl2 (6.4-3) unstable; urgency=low


  * set HOME in rule to build saved_acl2.c
  * Bug fix: "not buildable on buildds on some architectures", thanks to
    Ivo De Decker (Closes: #747286).

 -- Camm Maguire <email address hidden>  Fri, 09 May 2014 15:38:15 +0000

acl2 (6.4-2) unstable; urgency=low


  * certify-books run with -j 8 -l 2.95
  * Bug fix: "Process running beyond build (missing escape in
    debian/rules)", thanks to Michael Tautschnig (Closes: #746203).
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Wed, 07 May 2014 18:31:48 +0000

acl2 (6.4-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Mon, 13 Jan 2014 16:14:44 +0000

acl2 (6.3-6) unstable; urgency=low


  * rebuild against latest gcl

 -- Camm Maguire <email address hidden>  Fri, 15 Nov 2013 16:11:57 +0000

acl2 (6.3-5) unstable; urgency=low


  * rebuild against latest gcl

 -- Camm Maguire <email address hidden>  Fri, 18 Oct 2013 16:10:57 +0000

acl2 (6.3-4) unstable; urgency=low


  * set HOME for mini-proveall make

 -- Camm Maguire <email address hidden>  Tue, 15 Oct 2013 14:12:15 +0000

acl2 (6.3-3) unstable; urgency=low


  * set HOME to $(pwd)

 -- Camm Maguire <email address hidden>  Mon, 14 Oct 2013 15:09:48 +0000

acl2 (6.3-2) unstable; urgency=low


  * build dep against latest gcl

 -- Camm Maguire <email address hidden>  Sat, 12 Oct 2013 01:46:31 +0000

acl2 (6.3-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Wed, 02 Oct 2013 20:19:51 +0000

acl2 (6.2-7) unstable; urgency=low


  * build-dep against latest gcl
  * again allow optimize-maximum-pages in elementary-bounders.acl2

 -- Camm Maguire <email address hidden>  Tue, 06 Aug 2013 11:30:55 +0000

acl2 (6.2-6) unstable; urgency=low


  * fix elementary-bounders.acl2

 -- Camm Maguire <email address hidden>  Mon, 29 Jul 2013 18:54:53 +0000

acl2 (6.2-5) unstable; urgency=low


  * (setq si::*optimize-maximum-pages* nil) in elementary-bounders.acl2
  * build-dep against latest gcl

 -- Camm Maguire <email address hidden>  Sat, 27 Jul 2013 12:49:46 +0000

acl2 (6.2-4) unstable; urgency=low


  * build-dep against latest gcl

 -- Camm Maguire <email address hidden>  Tue, 23 Jul 2013 18:11:51 +0000

acl2 (6.2-3) unstable; urgency=low


  * build-dep against latest gcl

 -- Camm Maguire <email address hidden>  Sat, 20 Jul 2013 02:21:17 +0000

acl2 (6.2-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Thu, 11 Jul 2013 22:02:56 +0000

acl2 (6.1-6) unstable; urgency=low


  * build-dep against latest gcl

 -- Camm Maguire <email address hidden>  Tue, 02 Jul 2013 16:10:25 +0000

acl2 (6.1-5) unstable; urgency=low


  * reinstate skipped books and build depend on latest gcl

 -- Camm Maguire <email address hidden>  Fri, 21 Jun 2013 23:14:46 +0000

acl2 (6.1-3) unstable; urgency=low


  * skip books/centaur/defrstobj/basic-tests.lisp, which takes too much memory

 -- Camm Maguire <email address hidden>  Thu, 23 May 2013 13:20:29 +0000

acl2 (6.1-2) unstable; urgency=low


  * skip elementary-bounders.lisp certification, which takes too much memory

 -- Camm Maguire <email address hidden>  Tue, 21 May 2013 17:15:51 +0000

acl2 (6.1-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Tue, 23 Apr 2013 14:52:39 +0000

acl2 (6.0-2) unstable; urgency=low


  * HOME="/tmp" environment for make DOC

 -- Camm Maguire <email address hidden>  Sun, 13 Jan 2013 17:54:15 +0000

acl2 (6.0-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Mon, 07 Jan 2013 21:45:40 +0000

acl2 (5.0-1) unstable; urgency=low


  * New upstream release
  * books retrieved separately from http://acl2-books.googlecode.com/files/books-5.0.tar.gz
  * Bug fix: "Should build-depend on emacs23 | emacs24", thanks to
    <email address hidden></a>; (Closes: #682719).

 -- Camm Maguire <email address hidden>  Fri, 24 Aug 2012 18:45:28 +0000

acl2 (4.3-3) unstable; urgency=low


  * Bug fix: "unowned file /usr/local/share/texmf/ls-R after purge (policy
    6.8, 9.1.2)", thanks to Andreas Beckmann (Closes: #669380).
  * Bug fix: "FTBFS: | /«PKGBUILDDIR»/books/tools/defsum.c:7456:5: error:
    expected expression before &#39;)&#39; token", thanks to Lucas
    Nussbaum (Closes: #669442).  Build-dep on latest gcl

 -- Camm Maguire <email address hidden>  Fri, 20 Apr 2012 12:59:26 +0000

acl2 (4.3-2) unstable; urgency=low


  * remove special NO_STRIP for ppc
  * multiply-stacks by 4 on #-native-reloc
  * Bug fix: "Please add support for build-arch and build-indep targets",
    thanks to Niels Thykier (Closes: #647919).

 -- Camm Maguire <email address hidden>  Fri, 20 Jan 2012 14:18:55 +0000

acl2 (4.3-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Mon, 09 Jan 2012 21:41:00 +0000

acl2 (4.2-1) unstable; urgency=low
  * New upstream release -- Camm Maguire <email address hidden>  Fri, 13 May 2011 13:14:39 +0000

acl2 (4.1-5) unstable; urgency=low


  * build depend on latest gcl
  * turn off si::*optimize-maximum-pages* in reverse-by-separation.acl2
  * remove unnecessary patch from serialize-tests.lisp

 -- Camm Maguire <email address hidden>  Fri, 05 Nov 2010 16:19:11 +0000

acl2 (4.1-4) unstable; urgency=low


  * build dep on latest gcl

 -- Camm Maguire <email address hidden>  Wed, 27 Oct 2010 20:47:24 +0000

acl2 (4.1-3) unstable; urgency=low


  * build-dep latest gcl
  * Bug fix: "FTBFS on mips: Terminated", thanks to Cyril Brulebois
    (Closes: #599946).
  * Bug fix: "FTBFS on mipsel: Unrecoverable error: Segmentation
    violation..", thanks to Cyril Brulebois (Closes: #599998).

 -- Camm Maguire <email address hidden>  Wed, 20 Oct 2010 16:15:56 +0000

acl2 (4.1-2) unstable; urgency=low


  * build-dep latest gcl
  * Bug fix: "FTBFS (powerpc): ls: cannot access
    tiny.cert: No such file or directory", thanks to Philipp Kern (Closes:
    #597278).

 -- Camm Maguire <email address hidden>  Thu, 23 Sep 2010 12:44:54 +0000

acl2 (4.1-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Sun, 05 Sep 2010 00:27:43 +0000

acl2 (4.0-3) unstable; urgency=low


  * compile nats to avoid invocation stack overflow on #-native-reloc
    machines

 -- Camm Maguire <email address hidden>  Fri, 09 Jul 2010 13:00:12 +0000

acl2 (4.0-2) unstable; urgency=low


  * Work around absence of HOME in buildd environments.

 -- Camm Maguire <email address hidden>  Thu, 08 Jul 2010 16:14:04 +0000

acl2 (4.0-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Wed, 07 Jul 2010 21:49:46 +0000

acl2 (3.6.1-2) unstable; urgency=low


  * Bug fix: "acl2 depends on old / broken emacs22 package", thanks to
    Andreas Barth (Closes: #585405).
  * lintian fixes

 -- Camm Maguire <email address hidden>  Thu, 10 Jun 2010 14:09:37 +0000

acl2 (3.6.1-1) unstable; urgency=low


  * New upstream release

 -- Camm Maguire <email address hidden>  Sun, 06 Jun 2010 19:58:55 +0000

acl2 (3.6-4) unstable; urgency=low


  * Bug fix: "FTBFS [hppa] - **CERTIFICATION FAILED** for ram2b.lisp",
    thanks to dann frazier (Closes: #564247).

 -- Camm Maguire <email address hidden>  Mon, 11 Jan 2010 17:44:36 +0000

acl2 (3.6-3) unstable; urgency=low


  * Bug fix: "FTBFS on kfreebsd-i386: /bin/sh: line 1: 42209 Segmentation
    fault gcl &lt; workxxx", thanks to Cyril Brulebois (Closes: #563604).

 -- Camm Maguire <email address hidden>  Mon, 04 Jan 2010 18:12:16 +0000

acl2 (3.6-2) unstable; urgency=low


  * Bug fix: "FTBFS [alpha, hppa] - getprop.cert: No such file or
    directory", thanks to dann frazier (Closes: #562207).  Build-depend on
    gcl >= 2.6.7-51.
  * Bug fix: "adds non-existent TAGS file to tag file list", thanks to
    Timo Juhani Lindfors (Closes: #505812).  Don't automatically load tags
    table.

 -- Camm Maguire <email address hidden>  Sun, 03 Jan 2010 13:26:38 +0000

acl2 (3.6-1) unstable; urgency=low


  * New upstream release

  [ Camm Maguire ]
  * Bug fix: "replacing libreadline5-dev build dependency with
    libreadline-dev", thanks to Matthias Klose (Closes: #553715).

 -- Camm Maguire <email address hidden>  Tue, 15 Dec 2009 03:53:25 +0000

acl2 (3.4-2) unstable; urgency=low


  * New maintainer address
  * sparc sgc workaround -- disable sgc here only

 -- Camm Maguire <email address hidden>  Mon, 23 Feb 2009 01:54:24 +0000

acl2 (3.4-1) unstable; urgency=low


  * New upstream release
  * Bug fix: "acl2-status.txt should contain :INITIALIZED.", thanks to
    Lucas Nussbaum (Closes: #494328).  New release works around compiler
    issue.
  * Bug fix: "FTBFS when converted to new source format 3.0 (quilt)",
    thanks to <email address hidden></a>; (Closes: #482594). patches ->
    dpatches

 -- Camm Maguire <email address hidden>  Sun, 24 Aug 2008 21:26:46 +0000

Debianacl2 package

Change logs for acl2 source package in Sid

Debian
acl2 package