#! /bin/sh
prefix=rc7.
suffix=
if [ "$3" = kernel-dummy -o -n "$suffix" ]; then
    [ -n "$suffix" ] || suffix=$2
    while [ "$suffix" != "${suffix#[^0-9]*.}" ]; do
	suffix=${suffix#[^0-9]*.}
    done
    echo $prefix$suffix
else
    echo "pkg:kernel-dummy"
fi