Commit 83841707 authored by edef's avatar edef
Browse files

lingeling: 708beb26 -> 1.0.0

parent e6eae2ee

pkgs/by-name/li/lingeling/package.nix

+4 −5
Original line number Diff line number Diff line
@@ -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 = [