libcoq-core-ocaml (8.20.1+dfsg-1build4)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- coq
- Architecture
- arm64
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 93.9 kB
- Size expected
- 29.4 MB
- Size actual
- 29.4 MB
- Size match
Dependencies
Required package dependencies
Description
runtime libraries for Coq
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 207deef1…7ba323af | |
| SHA-1 | 6a2cf21f…502781cb | |
| SHA-256 | 84531ab0…5115f547 | |
| SHA-512 | a4af9552…c9bd1676 |
Contents
Files and directories included
. usr usr/lib usr/lib/aarch64-linux-gnu usr/lib/aarch64-linux-gnu/ocaml usr/lib/aarch64-linux-gnu/ocaml/5.4.0 usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/META usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/boot usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/boot/boot.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/boot/boot.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/checklib usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/checklib/coq_checklib.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/checklib/coq_checklib.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/clib usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/clib/clib.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/clib/clib.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/config usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/config/byte usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/config/byte/byte_config.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/config/config.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/config/config.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/coqworkmgrapi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/coqworkmgrapi/coqworkmgrlib.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/debugger_support usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/debugger_support/debugger_support.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/debugger_support/debugger_support.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/dev usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/dev/dev.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/dev/dev.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/dev/ml_toplevel usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/dev/ml_toplevel/include usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/dev/ml_toplevel/include_directories usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/dev/ml_toplevel/include_printers usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/dev/ml_toplevel/include_utilities usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/engine usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/engine/engine.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/engine/engine.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/gramlib usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/gramlib/gramlib.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/gramlib/gramlib.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/interp usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/interp/interp.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/interp/interp.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/kernel usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/kernel/kernel.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/kernel/kernel.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/lib usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/lib/lib.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/lib/lib.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/library usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/library/library.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/library/library.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/parsing usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/parsing/parsing.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/parsing/parsing.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/perf usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/perf/coqperf.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/perf/coqperf.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/btauto usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/btauto/btauto_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/btauto/btauto_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/cc usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/cc/cc_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/cc/cc_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/derive usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/derive/derive_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/derive/derive_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/extraction usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/extraction/extraction_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/extraction/extraction_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/firstorder usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/firstorder/firstorder_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/firstorder/firstorder_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/funind usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/funind/funind_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/funind/funind_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ltac usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ltac/ltac_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ltac/ltac_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ltac2 usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ltac2/ltac2_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ltac2/ltac2_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ltac2_ltac1 usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ltac2_ltac1/ltac2_ltac1_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ltac2_ltac1/ltac2_ltac1_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/micromega usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/micromega/micromega_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/micromega/micromega_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/micromega_core usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/micromega_core/micromega_core_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/micromega_core/micromega_core_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/nsatz usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/nsatz/nsatz_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/nsatz/nsatz_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/number_string_notation usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/number_string_notation/number_string_notation_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ring usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ring/ring_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ring/ring_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/rtauto usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/rtauto/rtauto_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/rtauto/rtauto_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ssreflect usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ssreflect/ssreflect_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ssrmatching usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ssrmatching/ssrmatching_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/tauto usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/tauto/tauto_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/tauto/tauto_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/zify usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/zify/zify_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/plugins/zify/zify_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/pretyping usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/pretyping/pretyping.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/pretyping/pretyping.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/printing usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/printing/printing.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/printing/printing.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/proofs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/proofs/proofs.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/proofs/proofs.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/stm usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/stm/stm.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/stm/stm.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/sysinit usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/sysinit/sysinit.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/sysinit/sysinit.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/tactics usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/tactics/tactics.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/tactics/tactics.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/toplevel usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/toplevel/toplevel.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/toplevel/toplevel.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/vernac usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/vernac/vernac.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/vernac/vernac.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/vm usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/vm/coqrun.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-core/vm/coqrun.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/stublibs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/stublibs/dllcoqperf_stubs.so usr/lib/aarch64-linux-gnu/ocaml/5.4.0/stublibs/dllcoqrun_stubs.so usr/share usr/share/doc usr/share/doc/libcoq-core-ocaml usr/share/doc/libcoq-core-ocaml/changelog.Debian.gz usr/share/doc/libcoq-core-ocaml/copyright