Fix CI: AutoLifter depends on unfree

mistzzt · mistzzt · commit 7c8cc455963f · 2024-10-27T21:50:27.000-05:00
diff --git a/pkgs/AutoLifter/default.nix b/pkgs/AutoLifter/default.nix
@@ -60,7 +60,7 @@ stdenv.mkDerivation rec {
   meta = with lib; {
     description = "Artifact for TOPLAS24: Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms";
     homepage = "https://github.com/jiry17/AutoLifter";
-    license = licenses.mit;
+    license = licenses.unfreeRedistributable;
     platforms = ["x86_64-linux"];
   };
 }

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ stdenv.mkDerivation rec {`
`60`	`60`	`meta = with lib; {`
`61`	`61`	`description = "Artifact for TOPLAS24: Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms";`
`62`	`62`	`homepage = "https://github.com/jiry17/AutoLifter";`
`63`		`- license = licenses.mit;`
	`63`	`+ license = licenses.unfreeRedistributable;`
`64`	`64`	`platforms = ["x86_64-linux"];`
`65`	`65`	`};`
`66`	`66`	`}`