Change log : acl2 package : Debian

8.5dfsg-6

Published in sid-release on 2024-07-28

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

  * Bug fix: "needs rebuild against dh-elpa &gt;=2.1.5", thanks to
    <email address hidden></a>; (Closes: #1077092).

 -- Camm Maguire <email address hidden>  Sun, 28 Jul 2024 12:08:41 -0400

Available diffs

diff from 8.5dfsg-5build3 (in Ubuntu) to 8.5dfsg-6 (764 bytes)

8.5dfsg-5

Published in bookworm-release on 2023-06-01

Superseded in sid-release on 2024-08-01

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

Available diffs

diff from 8.5dfsg-4 to 8.5dfsg-5 (563 bytes)

8.5dfsg-4

Superseded in sid-release on 2023-01-19

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

  * build depend latest gcl

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

Available diffs

diff from 8.5dfsg-3 to 8.5dfsg-4 (488 bytes)

8.5dfsg-3

Superseded in sid-release on 2023-01-24

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

  * build depend latest gcl

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

Available diffs

diff from 8.5dfsg-2 to 8.5dfsg-3 (566 bytes)

8.5dfsg-2

Superseded in sid-release on 2023-01-06

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

Available diffs

diff from 8.5dfsg-1 to 8.5dfsg-2 (2.3 KiB)

8.5dfsg-1

Superseded in sid-release on 2022-12-29

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

Available diffs

diff from 8.4dfsg-2 to 8.5dfsg-1 (22.0 MiB)

8.4dfsg-2

Superseded in sid-release on 2022-08-03

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

Available diffs

diff from 8.3dfsg-2 to 8.4dfsg-2 (51.3 MiB)
diff from 8.4dfsg-1 to 8.4dfsg-2 (522 bytes)

8.4dfsg-1

Superseded in sid-release on 2021-11-03

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

Available diffs

diff from 8.3dfsg-4 to 8.4dfsg-1 (51.2 MiB)

8.3dfsg-4

Superseded in sid-release on 2021-11-07

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

8.3dfsg-3

Superseded in sid-release on 2021-10-16

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

8.3dfsg-2

Published in bullseye-release on 2021-07-22

Superseded in sid-release on 2021-12-05

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

Available diffs

diff from 8.3dfsg-1 to 8.3dfsg-2 (34.1 KiB)

8.3dfsg-1

Superseded in sid-release on 2021-01-30

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

  * New upstream release

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

Available diffs

diff from 8.2dfsg-3build1 (in Ubuntu) to 8.3dfsg-1 (12.8 MiB)

8.2dfsg-3

Superseded in sid-release on 2020-08-25

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

Available diffs

diff from 8.2dfsg-1 to 8.2dfsg-3 (2.2 KiB)
diff from 8.2dfsg-2 to 8.2dfsg-3 (2.1 KiB)

8.2dfsg-2

Superseded in sid-release on 2020-01-03

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

Available diffs

diff from 8.2dfsg-1 to 8.2dfsg-2 (757 bytes)

8.2dfsg-1

Superseded in sid-release on 2019-12-28

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

Available diffs

diff from 8.1dfsg-6 to 8.2dfsg-1 (5.2 MiB)

8.1dfsg-6

Superseded in sid-release on 2019-12-31

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

Available diffs

diff from 8.1dfsg-3 to 8.1dfsg-6 (885 bytes)
diff from 8.1dfsg-5 to 8.1dfsg-6 (509 bytes)

8.1dfsg-5

Superseded in sid-release on 2019-12-11

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

Available diffs

diff from 8.1dfsg-4 to 8.1dfsg-5 (586 bytes)

8.1dfsg-4

Superseded in sid-release on 2019-12-13

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

8.1dfsg-3

Superseded in sid-release on 2019-12-10

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

Available diffs

diff from 8.0dfsg-1build1 (in Ubuntu) to 8.1dfsg-3 (6.6 MiB)

8.1dfsg-2

Superseded in sid-release on 2019-04-05

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

8.1dfsg-1

Superseded in sid-release on 2019-04-14

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

8.0dfsg-1

Published in buster-release on 2019-02-13

Superseded in sid-release on 2019-04-14

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

Available diffs

diff from 7.4dfsg-3.1 to 8.0dfsg-1 (7.5 MiB)
diff from 7.4dfsg-4 to 8.0dfsg-1 (7.5 MiB)

7.4dfsg-4

Superseded in buster-release on 2019-02-13

Superseded in sid-release on 2019-02-08

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

Available diffs

diff from 7.4dfsg-3.1 to 7.4dfsg-4 (524 bytes)

7.4dfsg-3.1

Superseded in buster-release on 2017-10-08

Superseded in sid-release on 2018-06-24

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

Available diffs

diff from 7.2dfsg-2 to 7.4dfsg-3.1 (3.7 MiB)
diff from 7.4dfsg-3 to 7.4dfsg-3.1 (687 bytes)

7.4dfsg-3

Superseded in buster-release on 2017-08-14

Superseded in sid-release on 2017-08-13

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

Available diffs

diff from 7.4dfsg-2build1 (in Ubuntu) to 7.4dfsg-3 (753 bytes)

7.4dfsg-2

Superseded in sid-release on 2017-07-10

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

Available diffs

diff from 7.4dfsg-1 to 7.4dfsg-2 (1.8 KiB)

7.4dfsg-1

Superseded in sid-release on 2017-06-16

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

  * New upstream release

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

Available diffs

diff from 7.2dfsg-3 to 7.4dfsg-1 (3.7 MiB)

7.2dfsg-3

Published in stretch-release on 2016-10-24

Superseded in sid-release on 2017-06-12

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

Available diffs

diff from 7.2dfsg-2build2 (in Ubuntu) to 7.2dfsg-3 (2.1 KiB)

7.2dfsg-2

Superseded in stretch-release on 2016-10-24

Superseded in sid-release on 2016-10-20

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

Available diffs

diff from 7.1-1 to 7.2dfsg-2 (8.4 MiB)
diff from 7.2dfsg-1 to 7.2dfsg-2 (916 bytes)

7.2dfsg-1

Superseded in stretch-release on 2016-05-18

Superseded in sid-release on 2016-05-17

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

Available diffs

diff from 7.1dfsg-2 to 7.2dfsg-1 (8.3 MiB)

7.1dfsg-2

Superseded in stretch-release on 2016-04-26

Superseded in sid-release on 2016-05-07

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

Available diffs

diff from 7.1dfsg-1 to 7.1dfsg-2 (573 bytes)

7.1dfsg-1

Superseded in sid-release on 2015-10-30

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

7.1-3

Superseded in sid-release on 2015-10-31

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

7.1-2

Superseded in sid-release on 2015-10-11

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

7.1-1

Superseded in sid-release on 2015-10-11

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

Available diffs

diff from 7.0-1 to 7.1-1 (5.4 MiB)

7.0-1

Superseded in sid-release on 2017-05-10

acl2 (7.0-1) unstable; urgency=medium


  * New upstream release

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

Available diffs

diff from 6.5-5 to 7.0-1 (8.5 MiB)

6.5-5

Superseded in sid-release on 2015-10-09

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

Available diffs

diff from 6.5-2 to 6.5-5 (1.8 KiB)
diff from 6.5-4 to 6.5-5 (526 bytes)

6.5-4

Superseded in sid-release on 2014-10-27

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

Available diffs

diff from 6.5-3 to 6.5-4 (645 bytes)

6.5-3

Superseded in sid-release on 2014-10-28

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

Available diffs

diff from 6.5-2 to 6.5-3 (1.4 KiB)

6.5-2

Superseded in stretch-release on 2015-11-03

Published in jessie-release on 2014-10-03

Superseded in sid-release on 2014-11-12

acl2 (6.5-2) unstable; urgency=medium


  * build-dep latest gcl

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

Available diffs

diff from 6.4-4 to 6.5-2 (4.7 MiB)

6.5-1

Superseded in sid-release on 2014-09-09

acl2 (6.5-1) unstable; urgency=low


  * New upstream release

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

6.4-4

Superseded in jessie-release on 2014-10-03

Superseded in sid-release on 2014-10-03

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

Available diffs

diff from 6.4-3 to 6.4-4 (689 bytes)

6.4-3

Superseded in sid-release on 2014-05-21

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

Available diffs

diff from 6.4-2 to 6.4-3 (1011 bytes)

6.4-2

Superseded in sid-release on 2014-05-25

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

Available diffs

diff from 6.3-5 to 6.4-2 (13.8 MiB)
diff from 6.4-1 to 6.4-2 (898 bytes)

6.4-1

Superseded in sid-release on 2014-05-18

acl2 (6.4-1) unstable; urgency=low


  * New upstream release

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

Available diffs

diff from 6.3-6 to 6.4-1 (13.8 MiB)

6.3-6

Superseded in jessie-release on 2014-05-28

Superseded in sid-release on 2014-06-04

acl2 (6.3-6) unstable; urgency=low


  * rebuild against latest gcl

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

Available diffs

diff from 6.3-5 to 6.3-6 (492 bytes)

6.3-5

Superseded in jessie-release on 2013-11-28

Superseded in sid-release on 2013-11-28

acl2 (6.3-5) unstable; urgency=low


  * rebuild against latest gcl

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

Available diffs

diff from 6.2-6 to 6.3-5 (5.0 MiB)

6.3-4

Superseded in sid-release on 2013-10-25

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

6.3-3

Superseded in sid-release on 2013-10-17

acl2 (6.3-3) unstable; urgency=low


  * set HOME to $(pwd)

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

6.3-2

Superseded in sid-release on 2013-10-17

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

6.3-1

Superseded in sid-release on 2013-10-17

acl2 (6.3-1) unstable; urgency=low


  * New upstream release

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

6.2-7

Superseded in jessie-release on 2013-11-08

Superseded in sid-release on 2013-11-06

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

6.2-6

Superseded in sid-release on 2013-09-10

acl2 (6.2-6) unstable; urgency=low


  * fix elementary-bounders.acl2

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

Available diffs

diff from 6.0-2 to 6.2-6 (4.5 MiB)
diff from 6.2-5 to 6.2-6 (1.0 KiB)

6.2-5

Superseded in sid-release on 2013-08-29

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

Available diffs

diff from 6.2-4 to 6.2-5 (1.2 KiB)

6.2-4

Superseded in sid-release on 2013-08-01

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

Available diffs

diff from 6.2-3 to 6.2-4 (484 bytes)

6.2-3

Superseded in sid-release on 2013-07-30

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

Available diffs

diff from 6.2-1 to 6.2-3 (878 bytes)

6.2-1

Superseded in sid-release on 2013-07-27

acl2 (6.2-1) unstable; urgency=low


  * New upstream release

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

Available diffs

diff from 6.1-6 to 6.2-1 (2.3 MiB)

6.1-6

Superseded in sid-release on 2013-07-31

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

Available diffs

diff from 6.1-5 to 6.1-6 (514 bytes)

6.1-5

Superseded in sid-release on 2013-07-03

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

Available diffs

diff from 6.1-3 to 6.1-5 (1.1 KiB)

6.1-3

Superseded in sid-release on 2013-07-13

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

Available diffs

diff from 6.1-2 to 6.1-3 (793 bytes)

6.1-2

Superseded in sid-release on 2013-05-24

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

Available diffs

diff from 6.1-1 to 6.1-2 (550 bytes)

6.1-1

Superseded in sid-release on 2013-08-30

acl2 (6.1-1) unstable; urgency=low


  * New upstream release

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

6.0-2

Superseded in jessie-release on 2013-09-11

Superseded in sid-release on 2014-05-03

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

Available diffs

diff from 4.3-3 to 6.0-2 (6.3 MiB)
diff from 6.0-1 to 6.0-2 (423 bytes)

6.0-1

Superseded in sid-release on 2013-01-15

acl2 (6.0-1) unstable; urgency=low


  * New upstream release

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

Available diffs

diff from 5.0-1 to 6.0-1 (3.1 MiB)

5.0-1

Superseded in sid-release on 2013-01-15

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

4.3-3

Published in wheezy-release on 2012-05-05

Superseded in sid-release on 2012-08-30

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

Available diffs

diff from 4.3-2 to 4.3-3 (1.1 KiB)

4.3-2

Superseded in wheezy-release on 2012-05-05

Superseded in sid-release on 2012-08-26

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

Available diffs

diff from 4.2-1 (in Ubuntu) to 4.3-2 (4.1 MiB)

4.3-1

Superseded in sid-release on 2012-01-24

acl2 (4.3-1) unstable; urgency=low


  * New upstream release

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

4.2-1

Superseded in wheezy-release on 2012-02-01

Superseded in sid-release on 2012-02-01

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

4.1-5

Superseded in wheezy-release on 2011-09-21