Package: www.debian.org User: www.debian.org@packages.debian.org Usertags: packages.debian.org I've observed this with a number of (entirely unrelated) files already, but here's an example: https://packages.debian.org/search?suite=jessie&arch=any&mode=path&searchon=contents&keywords=minisat yields the expected result. Changing the suite to sid, however, says "Sorry, your search gave no results": https://packages.debian.org/search?suite=sid&arch=any&mode=path&searchon=contents&keywords=minisat Just in case: yes, the containing package has the same version in testing and unstable. Best, Michael
Attachment:
pgpW632chLBTj.pgp
Description: PGP signature