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-math-classes/changelog.Debian.amd64.gz | debian-13/libcoq-math-classes | 8.19.0-1+b11 | trixie | amd64 |
| /usr/share/doc/libcoq-math-classes/changelog.Debian.arm64.gz | debian-13/libcoq-math-classes | 8.19.0-1+b10 | trixie | arm64 |
| /usr/share/doc/libcoq-math-classes/changelog.Debian.gz | debian-13/libcoq-math-classes | 8.19.0-1+b10 | trixie | arm64 |
| /usr/share/doc/libcoq-math-classes/changelog.Debian.gz | debian-13/libcoq-math-classes | 8.19.0-1+b11 | trixie | amd64 |
| /usr/share/doc/libcoq-math-classes/copyright | debian-13/libcoq-math-classes | 8.19.0-1+b10 | trixie | arm64 |
| /usr/share/doc/libcoq-math-classes/copyright | debian-13/libcoq-math-classes | 8.19.0-1+b11 | trixie | amd64 |
| /var/lib/coq/md5sums/libcoq-math-classes.checksum | debian-13/libcoq-math-classes | 8.19.0-1+b10 | trixie | arm64 |
| /var/lib/coq/md5sums/libcoq-math-classes.checksum | debian-13/libcoq-math-classes | 8.19.0-1+b11 | trixie | amd64 |