Can't we change that to wget (to avoid more dependencies, although it's not a big deal)?
-- pull-debian-debdiff depends on curl, but no package dependency https://bugs.launchpad.net/bugs/428265 You received this bug notification because you are a member of MOTU, which is subscribed to ubuntu-dev-tools in ubuntu. -- universe-bugs mailing list universe-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/universe-bugs