Publishing details

• Published on 2013-09-17
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

acl2 (6.2-6) unstable; urgency=low


  * fix elementary-bounders.acl2

 -- Camm Maguire <email address hidden>  Mon, 29 Jul 2013 18:54:53 +0000

Builds

• amd64
• armhf
• i386

Package files

• acl2_6.2-6.debian.tar.gz (156.9 KiB)
• acl2_6.2-6.dsc (1.7 KiB)
• acl2_6.2.orig-books.tar.gz (10.8 MiB)
• acl2_6.2.orig.tar.gz (6.6 MiB)