diff options
author | Justin Lecher <jlec@gentoo.org> | 2015-06-16 15:32:23 +0200 |
---|---|---|
committer | Justin Lecher <jlec@gentoo.org> | 2015-06-16 15:32:23 +0200 |
commit | a32f235103241efb9e1f7fe5aa409499c65360a7 (patch) | |
tree | 99c404706cd540f62093e2197031e59b89b201fa /dev-java/jeuclid-core | |
parent | sci-libs/gsl: Fix problems during installation with multilib and alternatives... (diff) | |
parent | Merge pull request #437 from ustcscgy/acl2-7.1 (diff) | |
download | sci-a32f235103241efb9e1f7fe5aa409499c65360a7.tar.gz sci-a32f235103241efb9e1f7fe5aa409499c65360a7.tar.bz2 sci-a32f235103241efb9e1f7fe5aa409499c65360a7.zip |
Merge remote-tracking branch 'github/master'
* github/master:
sci-mathematics/acl2: Version bump; Upstream url changes.
Diffstat (limited to 'dev-java/jeuclid-core')
0 files changed, 0 insertions, 0 deletions