From 03613923463aae5be24cd58a3d9cfe45771f0e27 Mon Sep 17 00:00:00 2001
From: sempiternal-aurora
 <78790545+sempiternal-aurora@users.noreply.github.com>
Date: Thu, 5 Feb 2026 21:41:04 +0800
Subject: [PATCH] vampire: add nix-update-script

---
 pkgs/by-name/va/vampire/package.nix | 3 +++
 1 file changed, 3 insertions(+)

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