#! /bin/sh

version="new"
. pari/config/version
if test $version = "new"; then
# version format file has changed in 2.2
  version="$VersionMajor.$VersionMinor"
fi
echo "$version.$patch ($status)"

