Package contents
Find the package that contains a file
Search published package file lists for a command, shared library, configuration path, manual, firmware file, or other installed path. Results remain tied to an operating system, version, suite, and architecture.
8 matching file records
A path can be published by different packages in different distributions or releases. Treat each row as one build observation.
| File | Package | Version | Suite | Architecture |
|---|---|---|---|---|
| /usr/share/doc/libcoq-hott/changelog.Debian.amd64.gz | debian-13/libcoq-hott | 9.0-1+b2 | trixie | amd64 |
| /usr/share/doc/libcoq-hott/changelog.Debian.arm64.gz | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/share/doc/libcoq-hott/changelog.Debian.gz | debian-13/libcoq-hott | 9.0-1+b2 | trixie | amd64 |
| /usr/share/doc/libcoq-hott/changelog.Debian.gz | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/share/doc/libcoq-hott/copyright | debian-13/libcoq-hott | 9.0-1+b2 | trixie | amd64 |
| /usr/share/doc/libcoq-hott/copyright | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /var/lib/coq/md5sums/libcoq-hott.checksum | debian-13/libcoq-hott | 9.0-1+b2 | trixie | amd64 |
| /var/lib/coq/md5sums/libcoq-hott.checksum | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |