Package: acl2 / 7.2dfsg-3

Metadata

Package Version Patches format
acl2 7.2dfsg-3 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 blocks 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 (7.1-3) unstable; urgency=medium
 .
   * don't pre-allocate contiguous blocks in acl2.lisp
pathnames | (download)

other-events.lisp | 12 9 + 3 - 0 !
1 file changed, 9 insertions(+), 3 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.2dfsg-3) unstable; urgency=medium
 .
   * build-dep against latest gcl
   * upstream pathname patch
infix pathname fix | (download)

books/interface/infix/infix.lisp | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 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.2dfsg-3) unstable; urgency=medium
 .
   * build-dep against latest gcl
   * upstream pathname patch