Accepted acl2 6.5-2~bpo70+1 (source all amd64) into wheezy-backports->backports-policy, wheezy-backports
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 13 Jan 2015 10:12:27 -0500
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc
Architecture: source all amd64
Version: 6.5-2~bpo70+1
Distribution: wheezy-backports
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description:
acl2 - Computational Logic for Applicative Common Lisp: main binary
acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific
acl2-books-source - Computational Logic for Applicative Common Lisp: library sources
acl2-doc - Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source
acl2-source - Computational Logic for Applicative Common Lisp: source files
Closes: 682719 746203 747286
Changes:
acl2 (6.5-2~bpo70+1) wheezy-backports; urgency=medium
.
* Backport to wheezy
.
acl2 (6.5-2) unstable; urgency=medium
.
* build-dep latest gcl
.
acl2 (6.5-1) unstable; urgency=low
.
* New upstream release
.
acl2 (6.4-5) unstable; urgency=low
.
* rebuild against latest gcl
* lintian cleanups
.
acl2 (6.4-4) unstable; urgency=low
.
* parse and use parallel keyword in DEB_BUILD_OPTIONS
.
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).
.
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
.
acl2 (6.4-1) unstable; urgency=low
.
* New upstream release
.
acl2 (6.3-6) unstable; urgency=low
.
* rebuild against latest gcl
.
acl2 (6.3-5) unstable; urgency=low
.
* rebuild against latest gcl
.
acl2 (6.3-4) unstable; urgency=low
.
* set HOME for mini-proveall make
.
acl2 (6.3-3) unstable; urgency=low
.
* set HOME to $(pwd)
.
acl2 (6.3-2) unstable; urgency=low
.
* build dep against latest gcl
.
acl2 (6.3-1) unstable; urgency=low
.
* New upstream release
.
acl2 (6.2-8) unstable; urgency=low
.
* Allow certification failures for 1) dlopen machines, as we cannot
control the surpassed 1024 maximum dlopen limit, and 2) machines with
an insufficient hard limit on data segment size (e.g. kfreebsd-i386, or any
machine which cannot brk 1Gb).
* add build-dep on texinfo
* add upstream certificate relocation patch to other-events.lisp
.
acl2 (6.2-7) unstable; urgency=low
.
* build-dep against latest gcl
* again allow optimize-maximum-pages in elementary-bounders.acl2
.
acl2 (6.2-6) unstable; urgency=low
.
* fix elementary-bounders.acl2
.
acl2 (6.2-5) unstable; urgency=low
.
* (setq si::*optimize-maximum-pages* nil) in elementary-bounders.acl2
* build-dep against latest gcl
.
acl2 (6.2-4) unstable; urgency=low
.
* build-dep against latest gcl
.
acl2 (6.2-3) unstable; urgency=low
.
* build-dep against latest gcl
.
acl2 (6.2-2) unstable; urgency=low
.
* Add (in-package :acl2) preceeding save-exec in final cert image
modification stage to support #-native-reloc targets
.
acl2 (6.2-1) unstable; urgency=low
.
* New upstream release
.
acl2 (6.1-6) unstable; urgency=low
.
* build-dep against latest gcl
.
acl2 (6.1-5) unstable; urgency=low
.
* reinstate skipped books and build depend on latest gcl
.
acl2 (6.1-4) unstable; urgency=low
.
* skip books/centaur/vl/transforms/xf-sizing.lisp, which takes too much memory
.
acl2 (6.1-3) unstable; urgency=low
.
* skip books/centaur/defrstobj/basic-tests.lisp, which takes too much memory
.
acl2 (6.1-2) unstable; urgency=low
.
* skip elementary-bounders.lisp certification, which takes too much memory
.
acl2 (6.1-1) unstable; urgency=low
.
* New upstream release
.
acl2 (6.0-3) unstable; urgency=low
.
* Lintian cleanups
* certify centaur books with memory adjustments (lint.acl2, top.acl2)
.
acl2 (6.0-2) unstable; urgency=low
.
* HOME="/tmp" environment for make DOC
.
acl2 (6.0-1) unstable; urgency=low
.
* New upstream release
.
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
svante.signell@telia.com</a>; (Closes: #682719).
Checksums-Sha1:
2229094c5a2039eebdfcd16c14c8cd40d1fc03a7 2401 acl2_6.5-2~bpo70+1.dsc
38034a45c3c490097e274c74ca7a577e8d54092a 163474 acl2_6.5-2~bpo70+1.debian.tar.gz
44202a6a988a7bbb7e081c55e6e2113120e425f7 3867396 acl2-source_6.5-2~bpo70+1_all.deb
c86d655bcdc2d8899eaa3ec42ed5665c9aea09f6 72934 acl2-emacs_6.5-2~bpo70+1_all.deb
72a41a882d15231a9bc83e82755055d3eaa76207 92182 acl2-infix-source_6.5-2~bpo70+1_all.deb
d7ae8b646091d52b1fcf32456bf9536cf1e9d17c 10741494 acl2-books-source_6.5-2~bpo70+1_all.deb
7147bfa9c26b4442eaff2b49be8d379452a1ddbd 19595980 acl2-books-certs_6.5-2~bpo70+1_all.deb
c37f9e22b7bc604dccda8e8ee4571e32d68e8c78 2291762 acl2-doc_6.5-2~bpo70+1_all.deb
0530f7fac060702e0ca73373f3252275d39cd32f 25023850 acl2_6.5-2~bpo70+1_amd64.deb
48f053e5a097242877942064f0b4b57d8ebdac20 224544 acl2-infix_6.5-2~bpo70+1_amd64.deb
3f7e5e58a5bf2e01f87f4a84eac2444bb24e1740 49693770 acl2-books_6.5-2~bpo70+1_amd64.deb
Checksums-Sha256:
06cdd73e3b235143dbd95d2c809741505ccf2f72c9dd1d48436d0b3d211ef5a2 2401 acl2_6.5-2~bpo70+1.dsc
aeaf15bb72ebcbbd3ec6fb5381bf8a1369ad5993e1ffedb71b94450d397b850d 163474 acl2_6.5-2~bpo70+1.debian.tar.gz
bc840b90e8547cf53d4568bc2855b7166f032ef629f87d18a975ed98156c0a28 3867396 acl2-source_6.5-2~bpo70+1_all.deb
c6b00156bfb7b2182007b8c6bd770fdc2ea1cd1b30f5010b687691c01af08220 72934 acl2-emacs_6.5-2~bpo70+1_all.deb
b31896fd2b4e1fecc2b3b274ec6b5ce6b1c99a3bc4d40e406780da86150b2de9 92182 acl2-infix-source_6.5-2~bpo70+1_all.deb
2c0f86ca76088e30ea73359dc30a0dce33408dae2eae6a3a4654fff1a6d37185 10741494 acl2-books-source_6.5-2~bpo70+1_all.deb
e2af4338f22a81ab254681c9b78ff208fa2643cec4bd76bf253c9c6207e1f39c 19595980 acl2-books-certs_6.5-2~bpo70+1_all.deb
2dece7f71e3681909545eb96e893069aad453095fdc7b376e8c9e5de7c4840b2 2291762 acl2-doc_6.5-2~bpo70+1_all.deb
ac4220cbda5fe262f3400ca810299bf96c24b3a18fbaa17320ffe7761637418e 25023850 acl2_6.5-2~bpo70+1_amd64.deb
5d5d4ff3f1368469b423c807c71e05b2c503613bba9cee8604ae49bd5ae83e9a 224544 acl2-infix_6.5-2~bpo70+1_amd64.deb
de17622ea263620ab8165af00095c037203b1fdd9949514adb37c279e147ac93 49693770 acl2-books_6.5-2~bpo70+1_amd64.deb
Files:
e444c9d9e98a38c8990bff469f5f7517 2401 math optional acl2_6.5-2~bpo70+1.dsc
c1e0fb5906aa8a2d5542fbde282959ea 163474 math optional acl2_6.5-2~bpo70+1.debian.tar.gz
e6469a8ad55852af71712350f98eca60 3867396 math optional acl2-source_6.5-2~bpo70+1_all.deb
6aa6131531bcbccf8b2d1cbd546ed77a 72934 math optional acl2-emacs_6.5-2~bpo70+1_all.deb
84d0dd9db1160c32cd5047ab5a41a656 92182 math optional acl2-infix-source_6.5-2~bpo70+1_all.deb
909c3c6995157b590868d7ebf61b59f1 10741494 math optional acl2-books-source_6.5-2~bpo70+1_all.deb
f110f99c9e3fbf0e26f876ed3b9f3135 19595980 math optional acl2-books-certs_6.5-2~bpo70+1_all.deb
76ba410d68291936fb411b4bb5edd12f 2291762 doc optional acl2-doc_6.5-2~bpo70+1_all.deb
e8b06667661575601571fa58452fcf77 25023850 math optional acl2_6.5-2~bpo70+1_amd64.deb
1dafea9a537123fd1f4e7abb453e1c4b 224544 math optional acl2-infix_6.5-2~bpo70+1_amd64.deb
f384ec91ca0fcea958f95c3bd68cd5be 49693770 math optional acl2-books_6.5-2~bpo70+1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJUtpeFAAoJELhFzlEPm3FNWuoP/AoN8gvGRVTvfkT8FcwR09Cl
FX9IY7EUFr/luyYKgMf6C07pdYXVwT3I6nvUnZq62EGdUifjG6lOYHiWIhGrASGE
3bXFeVJfzjA+B98oteOYUYfqityWFUmPH5LVXKV2fBF6iJH0HeA/Acygi0M9Bv7u
Mbh1kmWTdbKCKA7ymKqYEHLsyfzEU2RruXg5DpxLgC97oKQ9BK2nLjTSydKMVbaK
bR/41jrQFTALEXlYseCWFzU4DGjfejLxay5E78FdIjoHSgRJ47tDOcjovCzG62U7
3BL9TmKpSDjPgmOGjeoiMhZhxBKoNIKzK4ztIA9G6v/FgPvkG6d7/y4+wNXvz4iR
9frgO6w3Y2bHS8aBNbFpCo4p2tcPK02Qxtm+6kyu7Yo9F+PgvahZV9SJnsrOuitH
DF57soPM58RcgA09ZvLiQf+CmrvyxF+ZS6uuaZXLFQ1y4/GbXZdW6jTUju+CtJyE
CFQGQU0uAothz6hxZYpoD3/RaXaNQ4TPn3OFo80cWC/krSUdYxyGSbPksiTIIgVC
6NhVXGK/9lWuQGkS4OAbiWOa4OBuz5ktkiCpYZO067U8TWgboVGJC+OEwhnxYnHv
jDKRHtqtGgQqaBFGBRFoK/KC+erSAGmciwnYelR/Tj1Lzq6Al0f4nPm2f9Dloff3
8GehJV1EUQkzHsiSozF6
=WqjM
-----END PGP SIGNATURE-----
Reply to: