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.
17,224 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/Agda-stdlib | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0 | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0 | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0 | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0 | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/Everything.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/Everything.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/Everything.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/Everything.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/EverythingSafe.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/EverythingSafe.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/EverythingSafe.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/EverythingSafe.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Bundles.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Bundles.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Bundles.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Bundles.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties/HeytingCommutativeRing.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties/HeytingCommutativeRing.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties/HeytingCommutativeRing.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties/HeytingCommutativeRing.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Structures.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Structures.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Structures.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Structures.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles/Raw.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles/Raw.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles/Raw.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles/Raw.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Base.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Base.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Base.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Base.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Propositional.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Propositional.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Propositional.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Propositional.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Setoid.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Setoid.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Setoid.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Setoid.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add/Identity.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add/Identity.agdai | fedora-44/Agda-stdlib | 2.3-3.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add/Identity.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |
| /usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add/Identity.agdai | fedora-44/Agda-stdlib | 2.3-4.fc44 | 44 | noarch |