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