The dirmngr binary pkg has been part of the gnupg2 source package for a long time now; the behavior you are seeing is correct.
** Changed in: ubuntu-dev-tools (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of MOTU, which is subscribed to ubuntu-dev-tools in Ubuntu. https://bugs.launchpad.net/bugs/2007319 Title: pull-debian-source gets wrong package To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ubuntu-dev-tools/+bug/2007319/+subscriptions -- universe-bugs mailing list universe-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/universe-bugs