DISTRIB_ID=Jolicloud
DISTRIB_RELEASE=1.0
DISTRIB_CODENAME=robby
DISTRIB_DESCRIPTION="Jolicloud robby (v1.0 Release)"
