Change logs for acl2 source package in Precise

acl2 (4.2-1) unstable; urgency=low

  * New upstream release
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sun,  15 May 2011 07:33:34 +0000