#!/usr/bin/sh
echo "8.3.1-0.20190510.1.mga7)"
