gentoo-science/sci — pull request #160 by kini (2013-12-10 16:33:14+00:00)
Title: Fix license, set USE="books" as default

A couple of changes. First, ACL2 has been licensed under the BSD 3-clause license for a few versions now. Second, I made the `books` use flag default to on, because it's basically a standard library for ACL2 and most programming language implementations on Gentoo tend to ship with their standard library.