Unverified Commit 48d1e73d authored by Fabián Heredia Montiel's avatar Fabián Heredia Montiel Committed by GitHub
Browse files

Merge pull request #276854 from r-ryantm/auto-update/cadical 

cadical: 1.9.1 -> 1.9.3
parents f930306a c4a88ae4

pkgs/applications/science/logic/cadical/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -2,13 +2,13 @@ 


stdenv.mkDerivation rec {

  pname = "cadical";

  version = "1.9.1";

  version = "1.9.3";



  src = fetchFromGitHub {

    owner = "arminbiere";

    repo = "cadical";

    rev = "rel-${version}";

    sha256 = "sha256-WQNaRkjJyWc3PDkK5uwLHEymlnpytVkbJqIVbc7HgZY=";

    sha256 = "sha256-kjvbWFcoEe7Df2HDKKc2txrxpS8/StwiCLbS2RqnkyE=";

  };



  outputs = [ "out" "dev" "lib" ];