unblock asked: https://bugs.debian.org/985488
- Bug#985440: pinball-dev: depends on virtual lib... Andreas Beckmann
- Bug#985440: marked as done (pinball-dev: d... Debian Bug Tracking System
- Bug#985440: pinball-dev: depends on virtua... Yadd
unblock asked: https://bugs.debian.org/985488