diff options
Diffstat (limited to 'metadata/md5-cache/dev-lang/mlton-20180207')
-rw-r--r-- | metadata/md5-cache/dev-lang/mlton-20180207 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/dev-lang/mlton-20180207 b/metadata/md5-cache/dev-lang/mlton-20180207 index fd29d96d10ac..df664995b2a2 100644 --- a/metadata/md5-cache/dev-lang/mlton-20180207 +++ b/metadata/md5-cache/dev-lang/mlton-20180207 @@ -9,6 +9,6 @@ KEYWORDS=~amd64 ~x86 LICENSE=HPND MIT RDEPEND=dev-libs/gmp:* SLOT=0/20180207 -SRC_URI=!binary? ( mirror://sourceforge/mlton/mlton-20180207.src.tgz ) !bootstrap-smlnj? ( amd64? ( mirror://sourceforge/mlton/mlton-20180207-1.amd64-linux.tgz ) ) +SRC_URI=!binary? ( https://downloads.sourceforge.net/mlton/mlton-20180207.src.tgz ) !bootstrap-smlnj? ( amd64? ( https://downloads.sourceforge.net/mlton/mlton-20180207-1.amd64-linux.tgz ) ) _eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc multibuild d67e78a235f541871c7dfe4cf7931489 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 pax-utils 91d47e5d20627c717aa878b9167c62a8 -_md5_=a23573bc6862f95f11529954a9c002fc +_md5_=ef241f0847ea7dbfb2188f14bc390c2f |