DISTRIB_ID=Debian
DISTRIB_RELEASE=13
DISTRIB_CODENAME=trixie
DISTRIB_DESCRIPTION="Debian GNU/Linux 13 (trixie)"
