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.

81 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/libghc-agda-dev/buildinfo_amd64.gzdebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/doc/libghc-agda-dev/changelog.Debian.gzdebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/doc/libghc-agda-dev/changelog.gzdebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/doc/libghc-agda-dev/copyrightdebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/html/Agda.cssdebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/html/highlight-hover.jsdebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/JS/agda-rts.jsdebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char/Properties.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char/Properties.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Glue.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Glue.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/HCompU.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/HCompU.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Id.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Id.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Path.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Path.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Sub.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Sub.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Erase.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Erase.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Rewrite.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Rewrite.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float/Properties.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float/Properties.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNeg.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNeg.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Int.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Int.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Maybe.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Maybe.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/External.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/External.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/Properties.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/Properties.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Sigma.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Sigma.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Size.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Size.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String/Properties.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String/Properties.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word/Properties.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word/Properties.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive/Cubical.agdadebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive/Cubical.agdaidebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/MAlonzo/src/MAlonzo/RTE/Float.hsdebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64
/usr/share/libghc-agda-dev/MAlonzo/src/MAlonzo/RTE.hsdebian-12/libghc-agda-dev2.6.2.2-1.1bookwormamd64