#! /bin/sh

. "$1"
if [ "x$pari_release_verbose" = "x" ]; then
  version="unknown"
else
  version="$pari_release_verbose"
fi 
echo "$version"
