Package: www.debian.org User: www.debian....@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
pgpYKJa4O4owd.pgp
Description: PGP signature
