diff options
author | Francesco Turco <fturco@fastmail.fm> | 2017-09-03 18:26:45 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-09-06 22:59:14 +0200 |
commit | 9787a828952cde2ddab10e90b12b7e51b03fc1d8 (patch) | |
tree | fce79dde5239d9c4b0f8af6b17cae1f7a86c2cd6 /sci-mathematics/isabelle/isabelle-2016.1.ebuild | |
parent | net-misc/openssh: use HTTPS for links to dev.gentoo.org (diff) | |
download | gentoo-9787a828952cde2ddab10e90b12b7e51b03fc1d8.tar.gz gentoo-9787a828952cde2ddab10e90b12b7e51b03fc1d8.tar.bz2 gentoo-9787a828952cde2ddab10e90b12b7e51b03fc1d8.zip |
sci-mathematics/Macaulay2: use HTTPS for links to dev.gentoo.org
Diffstat (limited to 'sci-mathematics/isabelle/isabelle-2016.1.ebuild')
0 files changed, 0 insertions, 0 deletions