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.

170 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/changelog.Debian.amd64.gzdebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/doc/libghc-agda-dev/changelog.Debian.arm64.gzdebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/doc/libghc-agda-dev/changelog.Debian.gzdebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/doc/libghc-agda-dev/changelog.Debian.gzdebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/doc/libghc-agda-dev/changelog.gzdebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/doc/libghc-agda-dev/changelog.gzdebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/doc/libghc-agda-dev/copyrightdebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/doc/libghc-agda-dev/copyrightdebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/html/Agda.cssdebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/html/Agda.cssdebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/html/highlight-hover.jsdebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/html/highlight-hover.jsdebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/JS/agda-rts.amd.jsdebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/JS/agda-rts.amd.jsdebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/JS/agda-rts.jsdebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/JS/agda-rts.jsdebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Equiv.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Equiv.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Glue.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Glue.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/HCompU.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/HCompU.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Id.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Id.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Path.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Path.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Sub.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Sub.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Erase.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Erase.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Rewrite.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Rewrite.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNeg.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNeg.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Int.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Int.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Maybe.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Maybe.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/External.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/External.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/agda-builtins.agda-libdebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/agda-builtins.agda-libdebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Sigma.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Sigma.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Size.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Size.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word/Properties.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive/Cubical.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive/Cubical.agdadebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Bool.agdaidebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Bool.agdaidebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Char.agdaidebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Char.agdaidebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Char/Properties.agdaidebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Char/Properties.agdaidebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
/usr/share/libghc-agda-dev/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Coinduction.agdaidebian-13/libghc-agda-dev2.6.4.3-1+b2trixieamd64
/usr/share/libghc-agda-dev/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Coinduction.agdaidebian-13/libghc-agda-dev2.6.4.3-1+b2trixiearm64
Next results