fix a typo in the -proposed package repo name