diff options
| author |   Justin <jlec@gentoo.org> | 2015-06-16 09:32:42 +0200 |
|---|---|---|
| committer | Justin <jlec@gentoo.org> | 2015-06-16 09:32:42 +0200 |
| commit | d7d89a86f90ff1cd9766884591c2bfd727e424d9 (patch) | |
| tree | b680f0d602313e070d81227a8fcb9b81f7fd0c6a /dev-java/jeuclid-core/ChangeLog | |
| parent | Merge remote-tracking branch 'github/master' (diff) | |
| parent | sci-mathematics/acl2: Version bump; Upstream url changes. (diff) | |
| download | sci-d7d89a86f90ff1cd9766884591c2bfd727e424d9.tar.gz sci-d7d89a86f90ff1cd9766884591c2bfd727e424d9.tar.bz2 sci-d7d89a86f90ff1cd9766884591c2bfd727e424d9.zip | |
Merge pull request #437 from ustcscgy/acl2-7.1
sci-mathematics/acl2: Version bump; Upstream url changes.
Diffstat (limited to 'dev-java/jeuclid-core/ChangeLog')
0 files changed, 0 insertions, 0 deletions