Change debian default mirror to deb.debian.org (#141)
Change debian default mirror to deb.debian.org (#141)

httpredir.debian.org is discontinued since 2017-02-17; see:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=817155
UbiCastTeam/mkosi,systemd/mkosi,UbiCastTeam/mkosi,systemd/mkosi