commit: a1571ed130883b1fc810955b23fa418285245e9d Author: Justin <jlec <AT> gentoo <DOT> org> AuthorDate: Sun Mar 29 09:27:11 2015 +0000 Commit: Justin Lecher <jlec <AT> gentoo <DOT> org> CommitDate: Sun Mar 29 09:27:11 2015 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=a1571ed1
Merge pull request #382 from ustcscgy/acl2 sci-mathematics/acl2: Version bump; USE flags change. sci-mathematics/acl2/ChangeLog | 9 +++- sci-mathematics/acl2/Manifest | 4 +- sci-mathematics/acl2/acl2-6.3.ebuild | 69 --------------------------- sci-mathematics/acl2/acl2-7.0.ebuild | 50 +++++++++++++++++++ sci-mathematics/acl2/files/set-booksdir.patch | 11 ----- sci-mathematics/acl2/metadata.xml | 20 +++----- 6 files changed, 64 insertions(+), 99 deletions(-)
