Unverified Commit b003f9de authored by Aleksana's avatar Aleksana Committed by GitHub
Browse files

cadical: 2.0.0 -> 2.1.0 (#348755)

parents deb7d00d 47ebcc0e

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 = "2.0.0";

  version = "2.1.0";



  src = fetchFromGitHub {

    owner = "arminbiere";

    repo = "cadical";

    rev = "rel-${version}";

    sha256 = "sha256-qoeEM9SdpuFuBPeQlCzuhPLcJ+bMQkTUTGiT8QdU8rc=";

    sha256 = "sha256-sSvJgHxsRaJ/xHEK32fox0MFI7u+pj5ERLfNn2s8kC8=";

  };



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