@vagrantc
*Gently nudges extrepo*
@radicle

@vagrantc
Yeah, there isn't a packages.debian.org equivalent, indeed extrepo search is your best bet.
@radicle