#!/bin/sh
echo "15.2.0-1pclos2025)"
