From 34a1de53a623a707a4794dc2fa97fe19419e1b77 Mon Sep 17 00:00:00 2001
From: Lisanna Dettwyler <lisanna.dettwyler@gmail.com>
Date: Thu, 5 Mar 2026 00:24:57 -0500
Subject: [PATCH] spass: use https for sources

Signed-off-by: Lisanna Dettwyler <lisanna.dettwyler@gmail.com>
---
 pkgs/by-name/sp/spass/package.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/by-name/sp/spass/package.nix b/pkgs/by-name/sp/spass/package.nix
index b629b8efe518..945a4a12fc41 100644
--- a/pkgs/by-name/sp/spass/package.nix
+++ b/pkgs/by-name/sp/spass/package.nix
@@ -20,7 +20,7 @@ gccStdenv.mkDerivation {
   version = "${baseVersion}.${minorVersion}";
 
   src = fetchurl {
-    url = "http://www.spass-prover.org/download/sources/spass${baseVersion}${minorVersion}.tgz";
+    url = "https://www.spass-prover.org/download/sources/spass${baseVersion}${minorVersion}.tgz";
     sha256 = "11cyn3kcff4r79rsw2s0xm6rdb8bi0kpkazv2b48jhcms7xw75qp";
   };