> > Prodding Ubuntu to upgrade to OPAM 1.2 would be extremely helpful. Jon, Dave, would you have any contacts there that might be interested? The Launchpad bug pickup seems to be a little hit and miss... > The package page mentions ubuntu-motu at lists.ubuntu.com as maintainer address, we could try that, if not already done?