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,856 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/why3-examplesfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examplesfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examplesfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examplesfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examplesfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examplesfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examplesfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examplesfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_listfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_listfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_listfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_listfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_spfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_spfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_spfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_spfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/add_list/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63fedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63fedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63fedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63fedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo63/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64fedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64fedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64fedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64fedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo64/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65fedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65fedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65fedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65fedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65/why3shapes.gzfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/algo65/why3shapes.gzfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinctfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinctfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinctfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinctfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinct.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinct.mlwfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinct.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinct.mlwfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinct/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinct/why3session.xmlfedora-44/why3-examples1.8.2-10.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinct/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
/usr/share/doc/why3-examples/examples/all_distinct/why3session.xmlfedora-44/why3-examples1.8.2-9.fc4444noarch
Next results