Unverified Commit edfd0f41 authored by 7c6f434c's avatar 7c6f434c Committed by GitHub
Browse files

abc-verifier: unstable-2023-10-13 → 0.55 (#450176)

parents 00374181 8073fb86

pkgs/by-name/ab/abc-verifier/package.nix

+3 −3
Original line number Diff line number Diff line
@@ -8,13 +8,13 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "abc-verifier";

  version = "unstable-2023-10-13";

  version = "0.55";



  src = fetchFromGitHub {

    owner = "yosyshq";

    repo = "abc";

    rev = "896e5e7dedf9b9b1459fa019f1fa8aa8101fdf43";

    hash = "sha256-ou+E2lvDEOxXRXNygE/TyVi7quqk+CJHRI+HDI0xljE=";

    rev = "v${finalAttrs.version}";

    hash = "sha256-Ib6bZSPQmpI1UOsUG733TH6W6v+UnLyagdjUc8MreKw=";

  };



  nativeBuildInputs = [ cmake ];

pkgs/by-name/mi/minisat/package.nix

+10 −4
Original line number Diff line number Diff line
@@ -6,17 +6,23 @@ 
  zlib,

}:



stdenv.mkDerivation rec {

stdenv.mkDerivation (finalAttrs: {

  pname = "minisat";

  version = "2.2.1";



  src = fetchFromGitHub {

    owner = "stp";

    repo = "minisat";

    rev = "releases/${version}";

    sha256 = "14vcbjnlia00lpyv2fhbmw3wbc9bk9h7bln9zpyc3nwiz5cbjz4a";

    tag = "releases/${finalAttrs.version}";

    hash = "sha256-iny5WPmR28H8/cnSdWCaK7HFB68LOrH9pQCoSK1cbJM=";

  };



  postPatch = ''

    substituteInPlace CMakeLists.txt --replace-fail \

      'cmake_minimum_required(VERSION 2.6 FATAL_ERROR)' \

      'cmake_minimum_required(VERSION 4.1)'

  '';



  nativeBuildInputs = [ cmake ];

  buildInputs = [ zlib ];
@@ -29,4 +35,4 @@ stdenv.mkDerivation rec { 
    license = licenses.mit;

    homepage = "http://minisat.se/";

  };

}
 
})