Camm Maguire does not use Launchpad. This page was created on 2005-06-15 when the acl2 package was imported into Warty.
Are you Camm Maguire?