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.
4,428 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/why3-examples | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list_vc_sp | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list_vc_sp | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list_vc_sp.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list_vc_sp.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/add_list/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo63 | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo63 | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo63.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo63.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo63/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo63/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo63/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo63/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo64 | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo64 | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo64.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo64.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo64/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo64/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo64/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo64/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo65 | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo65 | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo65.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo65.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo65/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo65/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo65/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/algo65/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/all_distinct | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/all_distinct | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/all_distinct.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/all_distinct.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/all_distinct/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/all_distinct/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/all_distinct/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/all_distinct/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/amortization | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/amortization | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/amortization.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/amortization.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/amortization/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/amortization/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/amortization/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/amortization/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/anagrammi | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/anagrammi | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/anagrammi.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/anagrammi.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/anagrammi/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/anagrammi/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/anagrammi/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/anagrammi/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/arm | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/arm | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/arm.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/arm.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/arm/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/arm/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/arm/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/arm/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_most_frequent | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_most_frequent | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_most_frequent.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_most_frequent.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_most_frequent/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_most_frequent/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_most_frequent/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_most_frequent/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_of_list | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_of_list | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_of_list.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_of_list.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_of_list/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_of_list/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_of_list/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/array_of_list/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/assigning_meanings_to_programs | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/assigning_meanings_to_programs | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/assigning_meanings_to_programs.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/assigning_meanings_to_programs.mlw | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3session.xml | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |
| /usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3shapes.gz | fedora-43/why3-examples | 1.8.2-1.fc43 | 43 | noarch |