Publishing details

• Published on 2011-03-29
• Copied from ubuntu natty in Primary Archive for Ubuntu

Changelog

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
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sun,  07 Nov 2010 11:48:55 +0000

Builds

• armel

Package files

• acl2_4.1-5.debian.tar.gz (17.4 KiB)
• acl2_4.1-5.dsc (1.2 KiB)
• acl2_4.1.orig.tar.gz (10.9 MiB)