diff options
| author | sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com> | 2026-02-05 21:41:04 +0800 |
|---|---|---|
| committer | sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com> | 2026-02-05 21:41:04 +0800 |
| commit | 03613923463aae5be24cd58a3d9cfe45771f0e27 (patch) | |
| tree | 7797bd4f3435c9f75b6ad6dc72524c0e7603ba6e | |
| parent | vampire: allow custom z3 version to be overridden (diff) | |
| download | nixpkgs-03613923463aae5be24cd58a3d9cfe45771f0e27.tar.gz | |
vampire: add nix-update-script
| -rw-r--r-- | pkgs/by-name/va/vampire/package.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/by-name/va/vampire/package.nix b/pkgs/by-name/va/vampire/package.nix index 89224bc491b6..f0324e379638 100644 --- a/pkgs/by-name/va/vampire/package.nix +++ b/pkgs/by-name/va/vampire/package.nix @@ -13,6 +13,7 @@ hash = "sha256-Bv7+0J7ilJNFM5feYJqDpYsOjj7h7t1Bx/4OIar43EI="; }; }, + nix-update-script, }: stdenv.mkDerivation (finalAttrs: { pname = "vampire"; @@ -39,6 +40,8 @@ stdenv.mkDerivation (finalAttrs: { rm -rf z3 ''; + passthru.updateScript = nix-update-script { }; + meta = { homepage = "https://vprover.github.io/"; description = "Vampire Theorem Prover"; |