diff options
| author | Anthony Roussel <anthony@roussel.dev> | 2023-10-30 21:41:44 +0100 |
|---|---|---|
| committer | Anthony Roussel <anthony@roussel.dev> | 2023-11-11 10:49:01 +0100 |
| commit | e30f48be948272df2d57237ef955023f937f4421 (patch) | |
| tree | 02c0471df3c25372ac34b24c4bd7ffc204def8f8 /pkgs/applications/science/logic/picosat | |
| parent | 5744e4ba8f7ac7b662a67aeb2f5e3b847bcb1f93 (diff) | |
treewide: fix redirected and broken URLs
Using the script in maintainers/scripts/update-redirected-urls.sh
Diffstat (limited to 'pkgs/applications/science/logic/picosat')
| -rw-r--r-- | pkgs/applications/science/logic/picosat/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/picosat/default.nix b/pkgs/applications/science/logic/picosat/default.nix index 48def5fc2e4db..1fef05069a696 100644 --- a/pkgs/applications/science/logic/picosat/default.nix +++ b/pkgs/applications/science/logic/picosat/default.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation rec { version = "965"; src = fetchurl { - url = "http://fmv.jku.at/picosat/${pname}-${version}.tar.gz"; + url = "https://fmv.jku.at/picosat/${pname}-${version}.tar.gz"; sha256 = "0m578rpa5rdn08d10kr4lbsdwp4402hpavrz6n7n53xs517rn5hm"; }; @@ -36,7 +36,7 @@ stdenv.mkDerivation rec { meta = { description = "SAT solver with proof and core support"; - homepage = "http://fmv.jku.at/picosat/"; + homepage = "https://fmv.jku.at/picosat/"; license = lib.licenses.mit; platforms = lib.platforms.unix; maintainers = with lib.maintainers; [ roconnor thoughtpolice ]; |