Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: cvc5 1.3.2 -> 1.3.3 https://repology.org/project/cvc5/versions
attrpath: cvc5
Checking auto update branch...
No auto update branch exists
Old version 1.3.2" not present in master derivation file with contents: {
  lib,
  stdenv,
  fetchFromGitHub,
  pkg-config,
  cmake,
  flex,
  cadical,
  cadical' ? cadical.override { version = "2.1.3"; },
  symfpu,
  gmp,
  python3,
  gtest,
  boost,
  jdk,
  libpoly,
}:

stdenv.mkDerivation (finalAttrs: {
  pname = "cvc5";
  version = "1.3.3";

  src = fetchFromGitHub {
    owner = "cvc5";
    repo = "cvc5";
    tag = "cvc5-${finalAttrs.version}";
    hash = "sha256-tXhOMrf/sZwEZFWB2Amp9lApWEsfuPqaj9H7RmI733o=";
  };

  __structuredAttrs = true;
  strictDeps = true;

  nativeBuildInputs = [
    pkg-config
    cmake
    flex
    (python3.withPackages (
      ps: with ps; [
        pyparsing
        tomli
      ]
    ))
  ];
  buildInputs = [
    cadical'.dev
    symfpu
    gmp
    gtest
    boost
    jdk
    libpoly
  ];

  preConfigure = ''
    patchShebangs ./src/
  '';

  cmakeBuildType = "Production";

  cmakeFlags = [
    "-DBUILD_SHARED_LIBS=1"
    "-DUSE_POLY=ON"
  ];

  doCheck = true;

  meta = {
    description = "High-performance theorem prover and SMT solver";
    mainProgram = "cvc5";
    homepage = "https://cvc5.github.io";
    license = lib.licenses.gpl3Only;
    platforms = lib.platforms.unix;
    maintainers = with lib.maintainers; [ shadaj ];
  };
})