gentoo-science/sci — pull request #159 by ustcscgy (2013-12-09 08:05:24+00:00)
Title: sci-mathematics/acl2: Version bump to 6.3

This is a workable version. Welcome to test. gentoo-science/sci#140

USE="books" took me 3.5h to build (4 cores).