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.
3,030 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/bin/axiom | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/bin/axiom | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/guile/3.0/site-ccache/texmacs/plugins/axiom-input.go | debian-13/texmacs-bin | 1:2.1.4+ds-3 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/guile/3.0/site-ccache/texmacs/plugins/axiom/progs/axiom-input.go | debian-13/texmacs-bin | 1:2.1.4+ds-3 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/AdmitAxiom.glob | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/AdmitAxiom.v | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/AdmitAxiom.vo | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/AdmitAxiom.vos | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatAxioms.glob | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatAxioms.v | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatAxioms.vo | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatAxioms.vos | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.glob | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.v | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.vo | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.vos | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Integer/Abstract/ZAxioms.glob | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Integer/Abstract/ZAxioms.v | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Integer/Abstract/ZAxioms.vo | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Integer/Abstract/ZAxioms.vos | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/NatInt/NZAxioms.glob | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/NatInt/NZAxioms.v | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/NatInt/NZAxioms.vo | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/NatInt/NZAxioms.vos | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Natural/Abstract/NAxioms.glob | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Natural/Abstract/NAxioms.v | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Natural/Abstract/NAxioms.vo | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Natural/Abstract/NAxioms.vos | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Reals/Raxioms.glob | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Reals/Raxioms.v | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Reals/Raxioms.vo | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Reals/Raxioms.vos | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimStringAxioms.glob | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimStringAxioms.v | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimStringAxioms.vo | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimStringAxioms.vos | debian-13/libcoq-stdlib | 8.20.1+dfsg-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.glob | debian-13/libcoq-bignums | 9.0.0+coq8.20-1+b8 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.v | debian-13/libcoq-bignums | 9.0.0+coq8.20-1+b8 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.vo | debian-13/libcoq-bignums | 9.0.0+coq8.20-1+b8 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.glob | debian-13/libcoq-bignums | 9.0.0+coq8.20-1+b8 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.v | debian-13/libcoq-bignums | 9.0.0+coq8.20-1+b8 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.vo | debian-13/libcoq-bignums | 9.0.0+coq8.20-1+b8 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Uint63Axioms.glob | debian-13/libcoq-elpi | 2.5.0-1.1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Uint63Axioms.v | debian-13/libcoq-elpi | 2.5.0-1.1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Uint63Axioms.vo | debian-13/libcoq-elpi | 2.5.0-1.1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HoTT/Axioms/Funext.glob | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HoTT/Axioms/Funext.v | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HoTT/Axioms/Funext.vo | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HoTT/Axioms/PropResizing.glob | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HoTT/Axioms/PropResizing.v | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HoTT/Axioms/PropResizing.vo | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HoTT/Axioms/Univalence.glob | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HoTT/Axioms/Univalence.v | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HoTT/Axioms/Univalence.vo | debian-13/libcoq-hott | 9.0-1+b2 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/separation_axioms.glob | debian-13/libcoq-mathcomp-analysis | 1.9.0-1+b3 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/separation_axioms.v | debian-13/libcoq-mathcomp-analysis | 1.9.0-1+b3 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/separation_axioms.vo | debian-13/libcoq-mathcomp-analysis | 1.9.0-1+b3 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_StdlibAxioms.glob | debian-13/libcoq-simple-io | 1.11.0-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_StdlibAxioms.v | debian-13/libcoq-simple-io | 1.11.0-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_StdlibAxioms.vo | debian-13/libcoq-simple-io | 1.11.0-1+b1 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/UniMath/Foundations/UnivalenceAxiom2.glob | debian-13/libcoq-unimath | 20240923-2+b4 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/UniMath/Foundations/UnivalenceAxiom2.v | debian-13/libcoq-unimath | 20240923-2+b4 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/UniMath/Foundations/UnivalenceAxiom2.vo | debian-13/libcoq-unimath | 20240923-2+b4 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/UniMath/Foundations/UnivalenceAxiom.glob | debian-13/libcoq-unimath | 20240923-2+b4 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/UniMath/Foundations/UnivalenceAxiom.v | debian-13/libcoq-unimath | 20240923-2+b4 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/UniMath/Foundations/UnivalenceAxiom.vo | debian-13/libcoq-unimath | 20240923-2+b4 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/UniMath/MoreFoundations/AxiomOfChoice.glob | debian-13/libcoq-unimath | 20240923-2+b4 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/UniMath/MoreFoundations/AxiomOfChoice.v | debian-13/libcoq-unimath | 20240923-2+b4 | trixie | arm64 |
| /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/UniMath/MoreFoundations/AxiomOfChoice.vo | debian-13/libcoq-unimath | 20240923-2+b4 | trixie | arm64 |
| /usr/lib/acl2-8.6+dfsg/books/kestrel/world-light/defthm-or-defaxiom-symbolp.o | debian-13/acl2-books | 8.6+dfsg-2 | trixie | amd64 |
| /usr/lib/acl2-8.6+dfsg/books/kestrel/world-light/defthm-or-defaxiom-symbolp.o | debian-13/acl2-books | 8.6+dfsg-2 | trixie | arm64 |
| /usr/lib/acl2-8.6+dfsg/books/projects/curve25519/axioms.o | debian-13/acl2-books | 8.6+dfsg-2 | trixie | amd64 |
| /usr/lib/acl2-8.6+dfsg/books/projects/curve25519/axioms.o | debian-13/acl2-books | 8.6+dfsg-2 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/A1AGG-.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/A1AGG-.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/A1AGG.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/A1AGG.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELGRP-.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELGRP-.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELGRP.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELGRP.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELMON-.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELMON-.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELMON.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELMON.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELSG-.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELSG-.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELSG.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ABELSG.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ACF-.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ACF-.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ACF.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ACF.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ACFS-.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ACFS-.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ACFS.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ACFS.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/ACPLOT.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |
| /usr/lib/axiom-20210105dp1/algebra/ACPLOT.o | debian-13/axiom | 20210105dp1-1 | trixie | arm64 |
| /usr/lib/axiom-20210105dp1/algebra/AFALGGRO.o | debian-13/axiom | 20210105dp1-1 | trixie | amd64 |