Gentoo Archives: gentoo-commits

From:	Justin Lecher <jlec@g.o>
To:	gentoo-commits@l.g.o
Subject:	[gentoo-commits] proj/sci:master commit in: /
Date:	Sun, 29 Mar 2015 10:24:58
Message-Id:	`1427621231.a1571ed130883b1fc810955b23fa418285245e9d.jlec@gentoo`

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