Unverified Commit 87848bf0 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

cvc5: 1.3.0 → 1.3.1 (#451563)

parents 6fd6c247 7131c2c3

pkgs/by-name/ca/cadical/package.nix

+2 −0
Original line number Diff line number Diff line
@@ -84,6 +84,8 @@ stdenv.mkDerivation rec { 
    install -Dm0755 build/mobical "$out/bin/mobical"

    install -Dm0644 src/ccadical.h "$dev/include/ccadical.h"

    install -Dm0644 src/cadical.hpp "$dev/include/cadical.hpp"

    install -Dm0644 src/cadical.hpp "$dev/include/cadical/cadical.hpp"

    install -Dm0644 src/tracer.hpp "$dev/include/cadical/tracer.hpp"

    install -Dm0644 build/libcadical.a "$lib/lib/libcadical.a"

    mkdir -p "$out/share/doc/${pname}/"

    install -Dm0755 {LICEN?E,README*,VERSION} "$out/share/doc/${pname}/"

pkgs/by-name/cv/cvc5/package.nix

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


stdenv.mkDerivation rec {

  pname = "cvc5";

  version = "1.3.0";

  version = "1.3.1";



  src = fetchFromGitHub {

    owner = "cvc5";

    repo = "cvc5";

    rev = "cvc5-${version}";

    hash = "sha256-w8rIGPG9BTEPV9HG2U40A4DYYnC6HaWbzqDKCRhaT00=";

    tag = "cvc5-${version}";

    hash = "sha256-nxJjrpWZfYPuuKN4CWxOHEuou4r+MdK0AjdEPZHZbHI=";

  };



  nativeBuildInputs = [