diff options
Diffstat (limited to 'sci-mathematics/acl2/ChangeLog')
| -rw-r--r-- | sci-mathematics/acl2/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog index 76c3446f5..108ca3f59 100644 --- a/sci-mathematics/acl2/ChangeLog +++ b/sci-mathematics/acl2/ChangeLog @@ -2,6 +2,13 @@ # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ +*acl2-7.1 (16 Jun 2015) + + 16 Jun 2015; zcj <ustcscgy@163.com> +acl2-7.1.ebuild, -acl2-7.0.ebuild, + metadata.xml: + sci-mathematics/acl2: sci-mathematics/acl2: Version bump; Upstream url + changes. + 06 Jun 2015; Justin Lecher <jlec@gentoo.org> metadata.xml: sci-mathematics/acl2: Add github to remote-id in metadata.xml |