diff options
Diffstat (limited to 'var/spack/repos/builtin/packages/ppl/package.py')
-rw-r--r-- | var/spack/repos/builtin/packages/ppl/package.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/var/spack/repos/builtin/packages/ppl/package.py b/var/spack/repos/builtin/packages/ppl/package.py index 2439710d1d..81faf81131 100644 --- a/var/spack/repos/builtin/packages/ppl/package.py +++ b/var/spack/repos/builtin/packages/ppl/package.py @@ -20,7 +20,7 @@ class Ppl(Package): solver, and primitives for termination analysis via the automatic synthesis of linear ranking functions.""" - homepage = "http://bugseng.com/products/ppl/" + homepage = "https://bugseng.com/products/ppl/" url = "http://bugseng.com/products/ppl/download/ftp/releases/1.1/ppl-1.1.tar.gz" version('1.2', sha256='6bc36dd4a87abc429d8f9c00c53e334e5041a9b0857cfc00dbad6ef14294aac8') |