File get_release_number.sh of Package kernel-installation-tapeipl

#! /bin/sh

echo "pkg:kernel-source"