Commit 03613923 authored by sempiternal-aurora's avatar sempiternal-aurora
Browse files

vampire: add nix-update-script

parent c8167fca

pkgs/by-name/va/vampire/package.nix

+3 −0
Original line number Diff line number Diff line
@@ -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";