books/tau/bounders/elementary-bounders.lisp | 2 0 + 2 - 0 !
1 file changed, 2 deletions(-)

 fix elementary-bounders .final file
pcert appears to interfere with the certification path renaming
 mechanism.  This patch was suggested by upstream as a workaround.
 .
 acl2 (7.0-1) unstable; urgency=medium
 .
   * New upstream release

books/make-event/local-elided.lisp | 2 0 + 2 - 0 !
1 file changed, 2 deletions(-)

 <short summary of the patch>
 TODO: Put a short summary on the line above and replace this paragraph
 with a longer explanation of this change. Complete the meta-information
 with other relevant fields (see below for details). To make it easier, the
 information below has been extracted from the changelog. Adjust it or drop
 it.
 .
 acl2 (7.0-1) unstable; urgency=medium
 .
   * New upstream release

acl2.lisp | 8 4 + 4 - 0 !
1 file changed, 4 insertions(+), 4 deletions(-)

 <short summary of the patch>
 TODO: Put a short summary on the line above and replace this paragraph
 with a longer explanation of this change. Complete the meta-information
 with other relevant fields (see below for details). To make it easier, the
 information below has been extracted from the changelog. Adjust it or drop
 it.
 .
 acl2 (8.0dfsg-1) unstable; urgency=medium
 .
   * New upstream release
   * Applied dfsg changes from 7.1