cvc5: fix by using CaDiCal 2.1.3

2025-11-24 05:50:47 +01:00
parent e90105dfea
commit fe08f2ab98
2 changed files with 5 additions and 0 deletions
@@ -18,6 +18,7 @@ stdenv.mkDerivation rec {
    hash =
      {
        "2.2.0" = "sha256-6O0lz0YJzk1eJblQ0/f9PnSYqD8WoendIZioQiGUpCg=";
+        "2.1.3" = "sha256-W3kO+6nVzkmJXyHJU+NZWP0oatK3gon4EWF1/03rgL4=";
        "2.0.0" = "sha256-qoeEM9SdpuFuBPeQlCzuhPLcJ+bMQkTUTGiT8QdU8rc=";
      }
      .${version};
@@ -13648,6 +13648,10 @@ with pkgs;
    stdenv = gccStdenv;
  };

+  cvc5 = callPackage ../by-name/cv/cvc5/package.nix {
+    cadical = cadical.override { version = "2.1.3"; };
+  };
+
  ekrhyper = callPackage ../applications/science/logic/ekrhyper {
    ocaml = ocaml-ng.ocamlPackages_4_14_unsafe_string.ocaml;
  };