diff options
| author |   Francesco Turco <fturco@fastmail.fm> | 2017-09-03 18:27:57 +0200 |
|---|---|---|
| committer |   Michał Górny <mgorny@gentoo.org> | 2017-09-06 22:59:17 +0200 |
| commit | 61bcb30dfd5e2ddd73b2c6c804b0514a9dc3565e (patch) | |
| tree | b0d6626ee54407b7f82d0dfb05b921eac7150b68 /sci-mathematics/fricas/metadata.xml | |
| parent | sci-mathematics/Macaulay2: use HTTPS for links to dev.gentoo.org (diff) | |
| download | gentoo-61bcb30dfd5e2ddd73b2c6c804b0514a9dc3565e.tar.gz gentoo-61bcb30dfd5e2ddd73b2c6c804b0514a9dc3565e.tar.bz2 gentoo-61bcb30dfd5e2ddd73b2c6c804b0514a9dc3565e.zip | |
sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org
Diffstat (limited to 'sci-mathematics/fricas/metadata.xml')
0 files changed, 0 insertions, 0 deletions