Ubuntu
ubuntu-dev-tools package

  1. Bug #261916
  2. Comment #1

Comment 1 for bug 261916

Revision history for this message
Siegfried Gevatter (rainct) wrote :

That's a problem with packages.ubuntu.com. It would be good to catch the extension and write a nice error message instead, though.