rm -f override.sid.all3 override.sid.all3.src
for i in main contrib non-free main.debian-installer; do
cat override.sid.$i >> override.sid.all3
rm -f override.sid.all3 override.sid.all3.src
for i in main contrib non-free main.debian-installer; do
cat override.sid.$i >> override.sid.all3