zchaff: update homepage

2025-01-04 19:25:10 +01:00
parent 09c9f352a4
commit 101687aeef
1 changed files with 1 additions and 1 deletions
@@ -26,7 +26,7 @@ clangStdenv.mkDerivation rec {
  '';

  meta = with lib; {
-    homepage = "https://www.princeton.edu/~chaff/zchaf";
+    homepage = "https://www.princeton.edu/~chaff/zchaff.html";
    description = "Accelerated SAT Solver from Princeton";
    mainProgram = "zchaff";
    license = licenses.mit;