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.
10,000 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 |
|---|---|---|---|---|
| /etc/xdg/coq | fedora-43/coq-coqide | 8.20.1-5.fc43 | 43 | aarch64 |
| /etc/xdg/coq | fedora-43/coq-coqide | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coco-coq-wrapper.sh | fedora-43/coco-coq | 0.1-34.fc43 | 43 | noarch |
| /usr/bin/coco-coq-wrapper.sh | fedora-43/coco-coq | 0.1-34.fc43 | 43 | noarch |
| /usr/bin/coqc | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqc | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqc.byte | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqc.byte | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqchk | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqchk | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqdep | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqdep | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqdoc | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqdoc | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqide | fedora-43/coq-coqide | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqide | fedora-43/coq-coqide | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqidetop.byte | fedora-43/coq-coqide-server | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqidetop.byte | fedora-43/coq-coqide-server | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqidetop.opt | fedora-43/coq-coqide-server | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqidetop.opt | fedora-43/coq-coqide-server | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coq_makefile | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coq_makefile | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqnative | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqnative | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqpp | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqpp | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqtags | fedora-43/emacs-common-proofgeneral | 4.5-12.20240912git1ffca70.fc43 | 43 | noarch |
| /usr/bin/coqtags | fedora-43/emacs-common-proofgeneral | 4.5-12.20240912git1ffca70.fc43 | 43 | noarch |
| /usr/bin/coq-tex | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coq-tex | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqtimelog2html | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqtimelog2html | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqtop | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqtop | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqtop.byte | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqtop.byte | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqwc | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqwc | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqworker.opt | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqworker.opt | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/bin/coqworkmgr | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/bin/coqworkmgr | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_equiv.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_equiv.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_equiv.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_equiv.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_focal.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_focal.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_focal.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_focal.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_induct.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_induct.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_induct.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon_induct.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon.v | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | aarch64 |
| /usr/lib64/coq/user-contrib/Zenon/zenon.vo | fedora-43/zenon | 0.8.5-35.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq | fedora-43/coq | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq | fedora-43/coq | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot.a | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot.a | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cma | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cma | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmi | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmi | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmt | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmt | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmx | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmx | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmxa | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmxa | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmxs | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot.cmxs | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Env.cmi | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Env.cmi | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Env.cmt | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Env.cmt | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Env.cmti | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Env.cmti | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Env.cmx | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Env.cmx | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot.ml | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot.ml | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Path.cmi | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Path.cmi | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Path.cmt | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Path.cmt | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Path.cmti | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | aarch64 |
| /usr/lib64/ocaml/coq-core/boot/boot__Path.cmti | fedora-43/coq-core | 8.20.1-5.fc43 | 43 | x86_64 |