lingeling: 708beb26 -> 1.0.0 (#486643)

2026-03-05 18:06:31 +00:00
parent d2acf504d6 83841707cd
commit 3e031522ea
1 changed files with 4 additions and 5 deletions
@@ -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 = [