Squashed commit of the following:

commit fc52b002e2c028c5df04a4b9868b42989a934b03
Author: Justin Lecher <jlec@gentoo.org>
Date:   Mon Dec 9 16:05:48 2013 +0100

    sci-mathematics/acl2: Add missing die

    Package-Manager: portage-2.2.7

commit 79cdf0b10e55b0426e379dba02393c37c381753a
Author: zcj <ustcscgy@163.com>
Date:   Mon Dec 9 21:16:12 2013 +0800

    sci-mathematics/acl2-6.3: add new USE into metadata.xml

commit adf57931576d698bb613be4f7470e991efe6f0d0
Author: zcj <ustcscgy@163.com>
Date:   Mon Dec 9 16:48:24 2013 +0800

    sci-mathematics/acl2-6.3: clean up

commit 7cfe9431208ac8d2e2194e8ef07ba2c9c8a6d8cd
Author: zcj <ustcscgy@163.com>
Date:   Mon Dec 9 15:51:19 2013 +0800

    sci-mathematics/acl2: Version bump to 6.3

Signed-off-by: Justin Lecher <jlec@gentoo.org>
InCvs

Signed-off-by: Justin Lecher <jlec@gentoo.org>