commit: d7d89a86f90ff1cd9766884591c2bfd727e424d9
Author: Justin <jlec <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 16 07:32:42 2015 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Tue Jun 16 07:32:42 2015 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=d7d89a86
Merge pull request #437 from ustcscgy/acl2-7.1
sci-mathematics/acl2: Version bump; Upstream url changes.
sci-mathematics/acl2/ChangeLog | 7 +++++++
sci-mathematics/acl2/Manifest | 2 +-
sci-mathematics/acl2/{acl2-7.0.ebuild => acl2-7.1.ebuild} | 9 +++++----
sci-mathematics/acl2/metadata.xml | 2 +-
4 files changed, 14 insertions(+), 6 deletions(-)
