#!/bin/bash

URL="https://www.jedsoft.org/slang/"

# Get version number from tag name
VERSION=$(curl -s -L "$URL" | grep 'Version ' | grep -o -E '[0-9]{1,}\.[0-9]{1,}\.[0-9]{1,}')

echo "$VERSION"