#!/bin/bash

URL="https://www.gnu.org/software/dejagnu/"

# Get version number from tag name
VERSION=$(curl -s -L "$URL" | grep 'The current version of DejaGnu is ' | grep -o -E '([0-9]*\.[0-9]*)\.[0-9]*')

echo "$VERSION"