As "Ubuntu" (proportional) and "Ubuntu Mono" have different family names it would probably make sense to split the binary packages produced into two .debs built at the same time—this would allow installing one or the other. Doing this as a one-off would be painful, but it would be relatively quick (5–10 minutes to actually change ./debian/{control,*.install} and then an hour or two testing upgrade testing combinations) to split these at the point of doing the next release.
It makes sense to do this at the same time as bug #851457, as the rename to the New Debian Font Standard packaging names requires the same operations, and this would turn two rounds into a single round.
As "Ubuntu" (proportional) and "Ubuntu Mono" have different family names it would probably make sense to split the binary packages produced into two .debs built at the same time—this would allow installing one or the other. Doing this as a one-off would be painful, but it would be relatively quick (5–10 minutes to actually change ./debian/ {control, *.install} and then an hour or two testing upgrade testing combinations) to split these at the point of doing the next release.
It makes sense to do this at the same time as bug #851457, as the rename to the New Debian Font Standard packaging names requires the same operations, and this would turn two rounds into a single round.