Package: acl2 / 8.0dfsg-1

Metadata

Package Version Patches format
acl2 8.0dfsg-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
remove pcert elementary bounders for final file | (download)

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
remove pcert local elided for final file | (download)

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
do not pre allocate contiguous blocks1 in acl2.lisp | (download)

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