#!/bin/bash

URL="https://www.mpfr.org/mpfr-current/"

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

echo "$VERSION"