Install the F* toolchain

.local/share/github-versions/fstar

@@ -0,0 +1,26 @@
+#! /usr/bin/bash
+
+set -euo pipefail
+IFS=$'\n\t'
+
+package=fstar
+repo=FStarLang/FStar
+
+fstar_resource() {
+    version="$(printf '%s' "$1" | cut --delimiter ' ' --field 2)"
+    echo "fstar-${version}-Linux-x86_64.tar.gz"
+}
+
+INSTALL_DIR="$(systemd-path user-state-private)"/fstar
+
+install_fstar() {
+    tempdir="$(mktemp --directory)" && \
+        tar xz --directory="${tempdir}" && \
+        chmod --recursive o-rwx "${tempdir}" && \
+        rm --force --recursive "${INSTALL_DIR}" && \
+        mv "${tempdir}"/fstar "$(dirname "${INSTALL_DIR}")" && \
+        rm --force --recursive "${tempdir}" && \
+        ln --symbolic "${INSTALL_DIR}"/bin/fstar.exe "$(systemd-path user-binaries)"/fstar.exe
+}
+
+github_update "${package}" "${repo}" fstar_resource install_fstar