idris2: Add updateScript

        idris2-unwrapped = finalAttrs.finalPackage;

        extraPackages = f idris2Packages;

      };

    updateScript = ./update.nu;

  };

  meta = {

#!/usr/bin/env nix-shell

#! nix-shell -I ./.

#! nix-shell -i nu

#! nix-shell -p nushell nix

const PACKAGE = './pkgs/by-name/id/idris2/package.nix'

def main [] {

  let tag = http get "https://api.github.com/repos/idris-lang/Idris2/releases"

    | sort-by -r created_at

    | first

    | get tag_name

  print $"Newest version: ($tag)"

  let hash = run-external "nix" "flake" "prefetch" "--json" $"github:idris-lang/Idris2/($tag)"

    | from json

    | get hash

  let current_hash = nix eval -f ./. idris2.unwrapped.src.outputHash --json | from json

  let current_version = nix eval -f ./. idris2.version --json | from json

  $PACKAGE

    | open

    | str replace $current_version ($tag | str trim -c 'v')

    | str replace $current_hash $hash

    | save -f $PACKAGE

}