From cfc9678a423d7d6e581690eae217387ada91059c Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Wed, 18 Mar 2026 16:17:04 +0200
Subject: [PATCH] cadical: specify `mainProgram`

---
 pkgs/by-name/ca/cadical/package.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/by-name/ca/cadical/package.nix b/pkgs/by-name/ca/cadical/package.nix
index 79ae0a37fc20..176dd895335b 100644
--- a/pkgs/by-name/ca/cadical/package.nix
+++ b/pkgs/by-name/ca/cadical/package.nix
@@ -106,5 +106,6 @@ stdenv.mkDerivation (finalAttrs: {
     platforms = lib.platforms.unix;
     license = lib.licenses.mit;
     homepage = "https://fmv.jku.at/cadical/";
+    mainProgram = "cadical";
   };
 })