diff options
Diffstat (limited to 'dev-lang/polyml/files/polyml-5.5.1-optimize-closure.patch')
| -rw-r--r-- | dev-lang/polyml/files/polyml-5.5.1-optimize-closure.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/polyml/files/polyml-5.5.1-optimize-closure.patch b/dev-lang/polyml/files/polyml-5.5.1-optimize-closure.patch index be37cdf85093..5b33203d69e1 100644 --- a/dev-lang/polyml/files/polyml-5.5.1-optimize-closure.patch +++ b/dev-lang/polyml/files/polyml-5.5.1-optimize-closure.patch @@ -1,4 +1,4 @@ -http://sourceforge.net/p/polyml/code/1869/ +https://sourceforge.net/p/polyml/code/1869/ Required for sci-mathematics/isabelle-2013.2 ------------------------------------------------------------------------ |