#!/bin/bash

URL="https://gmplib.org/"

# Get version number
VERSION=$(curl -s -L "$URL" | grep 'The current stable release is ' | grep -o -E '[0-9]{1,}.[0-9]{1,}(\.[0-9]{1,}|)' | head -n1)

echo "$VERSION"