gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

spass: use https for sources

Browse Source 
Signed-off-by: Lisanna Dettwyler <lisanna.dettwyler@gmail.com>
This commit is contained in:
Lisanna Dettwyler
2026-03-21 12:31:05 -04:00
parent 0f3a7c976c
commit 34a1de53a6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/sp/spass/package.nix
+1 -1
View File
@@ -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";
};