commit: a32f235103241efb9e1f7fe5aa409499c65360a7
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 16 13:32:23 2015 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Tue Jun 16 13:32:23 2015 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=a32f2351
Merge remote-tracking branch 'github/master'
* github/master:
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(-)
