Linux workstation

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.

2,046 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-base/libcoq-stdlib.coq-librarydebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc-base/libcoq-stdlib.coq-librarydebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/changelog.Debian.amd64.gzdebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/changelog.Debian.arm64.gzdebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/changelog.Debian.gzdebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/changelog.Debian.gzdebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/copyrightdebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/copyrightdebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_base.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_base.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Between.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Between.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Bool_nat.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Bool_nat.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Cantor.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Cantor.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare_dec.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare_dec.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.EqNat.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.EqNat.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Euclid.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Euclid.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Factorial.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Factorial.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Peano_dec.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Peano_dec.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.PeanoNat.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.PeanoNat.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Wf_nat.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Wf_nat.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Array.PArray.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Array.PArray.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolEq.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolEq.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bool.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bool.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolOrder.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolOrder.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bvector.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bvector.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.DecBool.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.DecBool.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.IfProp.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.IfProp.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Sumbool.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Sumbool.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Zerob.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Zerob.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Algebra.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Algebra.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Btauto.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Btauto.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Reflect.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Reflect.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CEquivalence.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CEquivalence.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CMorphisms.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CMorphisms.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CRelationClasses.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CRelationClasses.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.DecidableClass.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.DecidableClass.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Equivalence.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Equivalence.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.EquivDec.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.EquivDec.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Init.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Init.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Prop.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Prop.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Relations.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Relations.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationClasses.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationClasses.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationPairs.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationPairs.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidClass.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidClass.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidDec.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidDec.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidTactics.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidTactics.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Compat.AdmitAxiom.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Compat.AdmitAxiom.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq818.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq818.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq819.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq819.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq820.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq820.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/Coq.derive.Derive.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/Coq.derive.Derive.htmldebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
/usr/share/doc/libcoq-stdlib/html/coqdoc.cssdebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixieamd64
/usr/share/doc/libcoq-stdlib/html/coqdoc.cssdebian-13/libcoq-stdlib8.20.1+dfsg-1+b1trixiearm64
Next results