aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustin Lecher <jlec@gentoo.org>2015-06-16 15:32:23 +0200
committerJustin Lecher <jlec@gentoo.org>2015-06-16 15:32:23 +0200
commita32f235103241efb9e1f7fe5aa409499c65360a7 (patch)
tree99c404706cd540f62093e2197031e59b89b201fa /dev-java/jeuclid-core
parentsci-libs/gsl: Fix problems during installation with multilib and alternatives... (diff)
parentMerge pull request #437 from ustcscgy/acl2-7.1 (diff)
downloadsci-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