Files
mpfr/check-version.sh

9 lines
198 B
Bash

#!/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"