diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-01-31 00:35:55 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-31 00:35:55 +0100 |
commit | d0dc21f53973c6c4a8be14a81b6ef6adce68af2b (patch) | |
tree | dbc50eb5c3fdc973ec3720e091418daad0324d1b /pkgs/applications/science | |
parent | b85a0ba2c2cd467c32e5cea3e8b02f0ed8d62a27 (diff) | |
parent | 9e94dd6b8f6fac906301c94182369e3bd2999c03 (diff) | |
download | nixpkgs-d0dc21f53973c6c4a8be14a81b6ef6adce68af2b.tar nixpkgs-d0dc21f53973c6c4a8be14a81b6ef6adce68af2b.tar.gz nixpkgs-d0dc21f53973c6c4a8be14a81b6ef6adce68af2b.tar.bz2 nixpkgs-d0dc21f53973c6c4a8be14a81b6ef6adce68af2b.tar.lz nixpkgs-d0dc21f53973c6c4a8be14a81b6ef6adce68af2b.tar.xz nixpkgs-d0dc21f53973c6c4a8be14a81b6ef6adce68af2b.tar.zst nixpkgs-d0dc21f53973c6c4a8be14a81b6ef6adce68af2b.zip |
Merge pull request #110824 from SuperSandro2000/fix-collection5
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/clprover/clprover.nix | 4 | ||||
-rw-r--r-- | pkgs/applications/science/math/ginac/default.nix | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/clprover/clprover.nix b/pkgs/applications/science/logic/clprover/clprover.nix index f3049a659d1..2a8c058a80b 100644 --- a/pkgs/applications/science/logic/clprover/clprover.nix +++ b/pkgs/applications/science/logic/clprover/clprover.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation { version = "1.0.3"; src = fetchzip { - url = "http://cgi.csc.liv.ac.uk/~ullrich/CLProver++/CLProver++-v1.0.3-18-04-2015.zip"; + url = "https://cgi.csc.liv.ac.uk/~ullrich/CLProver++/CLProver++-v1.0.3-18-04-2015.zip"; sha256 = "10kmlg4m572qwfzi6hkyb0ypb643xw8sfb55xx7866lyh37w1q3s"; stripRoot = false; }; @@ -19,7 +19,7 @@ stdenv.mkDerivation { meta = with lib; { description = "Resolution-based theorem prover for Coalition Logic implemented in C++"; - homepage = "http://cgi.csc.liv.ac.uk/~ullrich/CLProver++/"; + homepage = "https://cgi.csc.liv.ac.uk/~ullrich/CLProver++/"; license = licenses.gpl3; # Note that while the website states that it is GPLv2 but the file in the zip as well as the comments in the source state it is GPLv3 maintainers = with maintainers; [ mgttlinger ]; platforms = [ "x86_64-linux" ]; diff --git a/pkgs/applications/science/math/ginac/default.nix b/pkgs/applications/science/math/ginac/default.nix index 4bb9b0ae681..6a38670adcc 100644 --- a/pkgs/applications/science/math/ginac/default.nix +++ b/pkgs/applications/science/math/ginac/default.nix @@ -20,7 +20,7 @@ stdenv.mkDerivation rec { meta = with lib; { description = "GiNaC is Not a CAS"; - homepage = "http://www.ginac.de/"; + homepage = "https://www.ginac.de/"; maintainers = with maintainers; [ lovek323 ]; license = licenses.gpl2; platforms = platforms.all; |