books/misc/misc2/reverse-by-separation.acl2 | 3 3 + 0 - 0 !
1 file changed, 3 insertions(+)

 upstream changes introduced in version 4.1-5
 This patch has been created by dpkg-source during the package build.
 Here's the last changelog entry, hopefully it gives details on why
 those changes were made:
 .
 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
 .
 The person named in the Author field signed this changelog entry.

acl2-fns.lisp | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 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 (4.3-1) unstable; urgency=low
 .
   * New upstream release

GNUmakefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 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 (4.3-1) unstable; urgency=low
 .
   * New upstream release