diff options
author | sohalt <sohalt@sohalt.net> | 2020-05-10 00:46:00 +0200 |
---|---|---|
committer | sohalt <sohalt@sohalt.net> | 2020-05-10 00:46:00 +0200 |
commit | 9ec71eb051d0ccf18beff75656e45edce5f8f348 (patch) | |
tree | d1db799bc1d228facaded067c18327953a2d8298 /pkgs/applications/science/logic/isabelle/default.nix | |
parent | de81e8b9618ef0daed1e03d317f4b38233893db1 (diff) | |
download | nixpkgs-9ec71eb051d0ccf18beff75656e45edce5f8f348.tar nixpkgs-9ec71eb051d0ccf18beff75656e45edce5f8f348.tar.gz nixpkgs-9ec71eb051d0ccf18beff75656e45edce5f8f348.tar.bz2 nixpkgs-9ec71eb051d0ccf18beff75656e45edce5f8f348.tar.lz nixpkgs-9ec71eb051d0ccf18beff75656e45edce5f8f348.tar.xz nixpkgs-9ec71eb051d0ccf18beff75656e45edce5f8f348.tar.zst nixpkgs-9ec71eb051d0ccf18beff75656e45edce5f8f348.zip |
use https
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 160bfb4d539..f9147c819a9 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -9,7 +9,7 @@ stdenv.mkDerivation rec { src = if stdenv.isDarwin then fetchurl { - url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_macos.tar.gz"; + url = "https://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_macos.tar.gz"; sha256 = "1sfr5filsaqj93g5y4p9n8g5652dhr4whj25x4lifdxr2pp560xx"; } else fetchurl { @@ -74,7 +74,7 @@ stdenv.mkDerivation rec { to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. ''; - homepage = "http://isabelle.in.tum.de/"; + homepage = "https://isabelle.in.tum.de/"; license = "LGPL"; maintainers = [ stdenv.lib.maintainers.jwiegley ]; platforms = stdenv.lib.platforms.linux; |