Tagged versioned-pkg-config by andrewsh@debian.org