deb https://midas.civ.zcu.cz/repository/debian10/ buster main