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.
16 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-core-ocaml-dev/changelog.Debian.amd64.gz | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | amd64 |
| /usr/share/doc/libcoq-core-ocaml-dev/changelog.Debian.arm64.gz | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | arm64 |
| /usr/share/doc/libcoq-core-ocaml-dev/changelog.Debian.gz | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | amd64 |
| /usr/share/doc/libcoq-core-ocaml-dev/changelog.Debian.gz | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | arm64 |
| /usr/share/doc/libcoq-core-ocaml-dev/copyright | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | amd64 |
| /usr/share/doc/libcoq-core-ocaml-dev/copyright | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | arm64 |
| /usr/share/doc/libcoq-core-ocaml-dev/NEWS.Debian.gz | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | amd64 |
| /usr/share/doc/libcoq-core-ocaml-dev/NEWS.Debian.gz | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | arm64 |
| /usr/share/lintian/overrides/libcoq-core-ocaml-dev | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | amd64 |
| /usr/share/lintian/overrides/libcoq-core-ocaml-dev | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | arm64 |
| /var/lib/ocaml/lintian/libcoq-core-ocaml-dev.info | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | amd64 |
| /var/lib/ocaml/lintian/libcoq-core-ocaml-dev.info | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | arm64 |
| /var/lib/ocaml/lintian/libcoq-core-ocaml-dev.META.coq-core | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | amd64 |
| /var/lib/ocaml/lintian/libcoq-core-ocaml-dev.META.coq-core | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | arm64 |
| /var/lib/ocaml/md5sums/libcoq-core-ocaml-dev.md5sums | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | amd64 |
| /var/lib/ocaml/md5sums/libcoq-core-ocaml-dev.md5sums | debian-12/libcoq-core-ocaml-dev | 8.16.1+dfsg-1+b2 | bookworm | arm64 |