Linux workstation

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.

44 matching file records

A path can be published by different packages in different distributions or releases. Treat each row as one build observation.

FilePackageVersionSuiteArchitecture
/usr/share/doc/libcoq-elpi/changelog.Debian.gzdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/changelog.Debian.gzdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/changelog.gzdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/changelog.gzdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/copyrightdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/copyrightdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/example_abs_evars.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/example_abs_evars.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/example_curry_howard_tactics.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/example_curry_howard_tactics.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/example_data_base.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/example_data_base.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/example_fuzzer.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/example_fuzzer.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/example_generalize.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/example_generalize.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/example_import_projections.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/example_import_projections.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/example_record_expansion.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/example_record_expansion.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/example_record_to_sigma.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/example_record_to_sigma.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/example_reduction_surgery.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/example_reduction_surgery.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/readme.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/readme.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/tutorial_coq_elpi_command.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/tutorial_coq_elpi_command.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/tutorial_coq_elpi_HOAS.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/tutorial_coq_elpi_HOAS.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/tutorial_coq_elpi_tactic.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/tutorial_coq_elpi_tactic.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/tutorial_elpi_lang.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/tutorial_elpi_lang.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/usage_eltac.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/usage_eltac.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/usage_NES.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/usage_NES.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/examples/usage.vdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/examples/usage.vdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/usr/share/doc/libcoq-elpi/README.md.gzdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/usr/share/doc/libcoq-elpi/README.md.gzdebian-13/libcoq-elpi2.5.0-1.1trixiearm64
/var/lib/coq/md5sums/libcoq-elpi.checksumdebian-13/libcoq-elpi2.5.0-1.1trixieamd64
/var/lib/coq/md5sums/libcoq-elpi.checksumdebian-13/libcoq-elpi2.5.0-1.1trixiearm64