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,096 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-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc-base/libcoq-stdlib.coq-librarydebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/changelog.Debian.amd64.gzdebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/changelog.Debian.arm64.gzdebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/changelog.Debian.gzdebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/changelog.Debian.gzdebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/copyrightdebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/copyrightdebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_base.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_base.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_prebase.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_prebase.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Between.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Between.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Bool_nat.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Bool_nat.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Cantor.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Cantor.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare_dec.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare_dec.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Div2.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Div2.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.EqNat.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.EqNat.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Euclid.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Euclid.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Even.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Even.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Factorial.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Factorial.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Gt.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Gt.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Le.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Le.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Lt.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Lt.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Max.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Max.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Min.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Min.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Minus.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Minus.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Mult.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Mult.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Peano_dec.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Peano_dec.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.PeanoNat.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.PeanoNat.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Plus.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Plus.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Wf_nat.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Arith.Wf_nat.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Array.PArray.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Array.PArray.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolEq.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolEq.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bool.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bool.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolOrder.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolOrder.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bvector.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bvector.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.DecBool.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.DecBool.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.IfProp.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.IfProp.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Sumbool.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Sumbool.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Zerob.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Bool.Zerob.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Algebra.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Algebra.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Btauto.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Btauto.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Reflect.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.btauto.Reflect.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CEquivalence.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CEquivalence.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CMorphisms.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CMorphisms.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CRelationClasses.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.CRelationClasses.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.DecidableClass.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.DecidableClass.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Equivalence.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Equivalence.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.EquivDec.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.EquivDec.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Init.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Init.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Prop.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Prop.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Relations.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormamd64
/usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Relations.htmldebian-12/libcoq-stdlib8.16.1+dfsg-1+b2bookwormarm64
Next results