From 83841707cd5353566e6a7017e980cccae42c2266 Mon Sep 17 00:00:00 2001
From: edef <edef@anthropic.com>
Date: Tue, 3 Feb 2026 18:52:24 +0000
Subject: [PATCH] lingeling: 708beb26 -> 1.0.0

---
 pkgs/by-name/li/lingeling/package.nix | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/pkgs/by-name/li/lingeling/package.nix b/pkgs/by-name/li/lingeling/package.nix
index 898601d0693d..eb118e3fac9b 100644
--- a/pkgs/by-name/li/lingeling/package.nix
+++ b/pkgs/by-name/li/lingeling/package.nix
@@ -5,16 +5,15 @@
   aiger,
 }:
 
-stdenv.mkDerivation {
+stdenv.mkDerivation rec {
   pname = "lingeling";
-  # This is the version used in satcomp2020
-  version = "pre1_708beb26";
+  version = "1.0.0";
 
   src = fetchFromGitHub {
     owner = "arminbiere";
     repo = "lingeling";
-    rev = "708beb26a7d5b5d5e7abd88d6f552fb1946b07c1";
-    sha256 = "1lb2g37nd8qq5hw5g6l691nx5095336yb2zlbaw43mg56hkj8357";
+    tag = "rel-${version}";
+    hash = "sha256-gVFznoptP9Ukux+1jbUpXZDPbc45EAdQ4UyeaD2cX0M=";
   };
 
   patches = [