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.

516 matching file records

A path can be published by different packages in different distributions or releases. Treat each row as one build observation.

FilePackageVersionSuiteArchitecture
/etc/emacs/site-start.d/50why3.eldebian-13/why31.8.0-2+b1trixieamd64
/etc/emacs/site-start.d/50why3.eldebian-13/why31.8.0-2+b1trixiearm64
/usr/bin/why3debian-13/why31.8.0-2+b1trixieamd64
/usr/bin/why3debian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3bench.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3config.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3doc.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3execute.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3extract.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3pp.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3prove.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3realize.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3replay.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3session.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3shell.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3show.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3wc.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/commands/why3webserver.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/METAdebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/cfg.cmadebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/cfg.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/coma.cmadebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/coma.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/dimacs.cmadebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/dimacs.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/forward_propagation.cmadebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/forward_propagation.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/genequlin.cmadebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/genequlin.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/hypothesis_selection.cmadebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/hypothesis_selection.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/microc.cmadebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/microc.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/python.cmadebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/python.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/tptp.cmadebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/plugins/tptp.cmxsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3.adebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3-call-pvsdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3.cmadebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3.cmidebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3.cmtdebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3.cmxdebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3.cmxadebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3.cmxsdebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3cpulimitdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/why3/why3serverdebian-13/why31.8.0-2+b1trixiearm64
/usr/lib/emacsen-common/packages/compat/why3debian-13/why31.8.0-2+b1trixieamd64
/usr/lib/emacsen-common/packages/compat/why3debian-13/why31.8.0-2+b1trixiearm64
/usr/lib/emacsen-common/packages/install/why3debian-13/why31.8.0-2+b1trixieamd64
/usr/lib/emacsen-common/packages/install/why3debian-13/why31.8.0-2+b1trixiearm64
/usr/lib/emacsen-common/packages/remove/why3debian-13/why31.8.0-2+b1trixieamd64
/usr/lib/emacsen-common/packages/remove/why3debian-13/why31.8.0-2+b1trixiearm64
/usr/lib/ocaml/why3debian-13/why31.8.0-2+b1trixieamd64
/usr/lib/ocaml/why3debian-13/why31.8.0-2+b1trixiearm64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3bench.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3config.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3doc.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3execute.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3extract.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3pp.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3prove.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3realize.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3replay.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3session.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3shell.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3show.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3wc.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3webserver.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/METAdebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/cfg.cmadebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/cfg.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/coma.cmadebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/coma.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/dimacs.cmadebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/dimacs.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/forward_propagation.cmadebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/forward_propagation.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/genequlin.cmadebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/genequlin.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/hypothesis_selection.cmadebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/hypothesis_selection.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/microc.cmadebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/microc.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/python.cmadebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/python.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/tptp.cmadebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/tptp.cmxsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.adebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3-call-pvsdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmadebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmidebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmtdebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmxdebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmxadebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmxsdebian-13/libwhy3-ocaml-dev1.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3cpulimitdebian-13/why31.8.0-2+b1trixieamd64
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3serverdebian-13/why31.8.0-2+b1trixieamd64
Next results