books/interface/emacs/acl2-interface.el | 13 9 + 4 - 0 !
1 file changed, 9 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 (6.2-1) UNRELEASED; urgency=low
 .
   * New upstream release

other-events.lisp | 4 3 + 1 - 0 !
1 file changed, 3 insertions(+), 1 deletion(-)

 <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 (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

books/parsers/earley/grammar-reader.lisp | 5 3 + 2 - 0 !
1 file changed, 3 insertions(+), 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 (6.5-1) unstable; urgency=low
 .
   * New upstream release