sail-ocaml (0.19.1+dfsg5-1build3)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- none
- Architecture
- amd64
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 18.2 kB
- Size expected
- 4.6 MB
- Size actual
- 4.6 MB
- Size match
Dependencies
Required package dependencies
Description
language describes the instruction semantics of processors
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 435e41ce…895c7432 | |
| SHA-1 | 8601a4df…1d465a7d | |
| SHA-256 | 22113676…92e938a8 | |
| SHA-512 | f8ae19a9…5a640620 |
Contents
Files and directories included
. usr usr/bin usr/bin/sail usr/lib usr/lib/x86_64-linux-gnu usr/lib/x86_64-linux-gnu/ocaml usr/lib/x86_64-linux-gnu/ocaml/5.4.0 usr/lib/x86_64-linux-gnu/ocaml/5.4.0/sail usr/lib/x86_64-linux-gnu/ocaml/5.4.0/sail/META usr/lib/x86_64-linux-gnu/ocaml/5.4.0/sail/dune-package usr/lib/x86_64-linux-gnu/ocaml/5.4.0/sail/opam usr/share usr/share/doc usr/share/doc/sail-ocaml usr/share/doc/sail-ocaml/copyright usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/sail-ocaml usr/share/sail usr/share/sail/lib usr/share/sail/lib/_tags usr/share/sail/lib/_tags_coverage usr/share/sail/lib/arith.sail usr/share/sail/lib/cJSON.c usr/share/sail/lib/cJSON.h usr/share/sail/lib/concurrency_interface usr/share/sail/lib/concurrency_interface/barrier.sail usr/share/sail/lib/concurrency_interface/cache_op.sail usr/share/sail/lib/concurrency_interface/common.sail usr/share/sail/lib/concurrency_interface/emulator_memory.sail usr/share/sail/lib/concurrency_interface/exception.sail usr/share/sail/lib/concurrency_interface/read_write.sail usr/share/sail/lib/concurrency_interface/read_write_v1.sail usr/share/sail/lib/concurrency_interface/read_write_v2.sail usr/share/sail/lib/concurrency_interface/sysreg.sail usr/share/sail/lib/concurrency_interface/tlbi.sail usr/share/sail/lib/concurrency_interface/translation.sail usr/share/sail/lib/concurrency_interface.sail usr/share/sail/lib/coverage usr/share/sail/lib/coverage/Cargo.toml usr/share/sail/lib/coverage/Makefile usr/share/sail/lib/coverage/src usr/share/sail/lib/coverage/src/lib.rs usr/share/sail/lib/dec_bits.sail usr/share/sail/lib/elf.c usr/share/sail/lib/elf.h usr/share/sail/lib/elf.sail usr/share/sail/lib/exception.sail usr/share/sail/lib/exception_basic.sail usr/share/sail/lib/exception_result.sail usr/share/sail/lib/float usr/share/sail/lib/float/add.sail usr/share/sail/lib/float/arith_internal.sail usr/share/sail/lib/float/common.sail usr/share/sail/lib/float/eq.sail usr/share/sail/lib/float/ge.sail usr/share/sail/lib/float/ge_quiet.sail usr/share/sail/lib/float/gt.sail usr/share/sail/lib/float/gt_quiet.sail usr/share/sail/lib/float/inf.sail usr/share/sail/lib/float/interface.sail usr/share/sail/lib/float/le.sail usr/share/sail/lib/float/le_quiet.sail usr/share/sail/lib/float/lt.sail usr/share/sail/lib/float/lt_quiet.sail usr/share/sail/lib/float/nan.sail usr/share/sail/lib/float/ne.sail usr/share/sail/lib/float/normal.sail usr/share/sail/lib/float/rounding.sail usr/share/sail/lib/float/sign.sail usr/share/sail/lib/float/zero.sail usr/share/sail/lib/float.sail usr/share/sail/lib/flow.sail usr/share/sail/lib/generic_equality.sail usr/share/sail/lib/hex_bits.sail usr/share/sail/lib/hex_bits_signed.sail usr/share/sail/lib/hol usr/share/sail/lib/hol/Holmakefile usr/share/sail/lib/hol/Makefile usr/share/sail/lib/hol/sail2_prompt.lem usr/share/sail/lib/hol/sail2_prompt_monad.lem usr/share/sail/lib/hol/sail2_stateAuxiliaryScript.sml usr/share/sail/lib/hol/sail2_undefined.lem usr/share/sail/lib/hol/sail2_valuesAuxiliaryScript.sml usr/share/sail/lib/instr_kinds.sail usr/share/sail/lib/int128 usr/share/sail/lib/int128/rts.c usr/share/sail/lib/int128/rts.h usr/share/sail/lib/int128/sail.c usr/share/sail/lib/int128/sail.h usr/share/sail/lib/isabelle usr/share/sail/lib/isabelle/Add_Cancel_Distinct.thy usr/share/sail/lib/isabelle/Hoare.thy usr/share/sail/lib/isabelle/Makefile usr/share/sail/lib/isabelle/ROOT usr/share/sail/lib/isabelle/Sail2_concurrency_interface_lemmas.thy usr/share/sail/lib/isabelle/Sail2_monadic_combinators_lemmas.thy usr/share/sail/lib/isabelle/Sail2_operators_mwords_lemmas.thy usr/share/sail/lib/isabelle/Sail2_prompt_monad_lemmas.thy usr/share/sail/lib/isabelle/Sail2_state_lemmas.thy usr/share/sail/lib/isabelle/Sail2_state_monad_lemmas.thy usr/share/sail/lib/isabelle/Sail2_values_lemmas.thy usr/share/sail/lib/isabelle/Trace_Properties.thy usr/share/sail/lib/isla.sail usr/share/sail/lib/main.ml usr/share/sail/lib/mapping.sail usr/share/sail/lib/mono_rewrites.sail usr/share/sail/lib/myocamlbuild_coverage.ml usr/share/sail/lib/nostd usr/share/sail/lib/nostd/sail.c usr/share/sail/lib/nostd/sail.h usr/share/sail/lib/nostd/sail_alloc.h usr/share/sail/lib/nostd/sail_arena.c usr/share/sail/lib/nostd/sail_arena.h usr/share/sail/lib/nostd/sail_failure.h usr/share/sail/lib/nostd/sail_spinlock.h usr/share/sail/lib/nostd/stubs usr/share/sail/lib/nostd/stubs/sail_failure.c usr/share/sail/lib/nostd/test usr/share/sail/lib/nostd/test/test.c usr/share/sail/lib/option.sail usr/share/sail/lib/prelude.sail usr/share/sail/lib/real.sail usr/share/sail/lib/regfp.sail usr/share/sail/lib/result.sail usr/share/sail/lib/reverse_endianness.sail usr/share/sail/lib/rts.c usr/share/sail/lib/rts.h usr/share/sail/lib/sail.c usr/share/sail/lib/sail.h usr/share/sail/lib/sail_config.c usr/share/sail/lib/sail_config.h usr/share/sail/lib/sail_coverage.h usr/share/sail/lib/sail_failure.c usr/share/sail/lib/sail_failure.h usr/share/sail/lib/smt.sail usr/share/sail/lib/string.sail usr/share/sail/lib/sv usr/share/sail/lib/sv/sail_memory.sv usr/share/sail/lib/sv/sail_modules.sv usr/share/sail/lib/trace.sail usr/share/sail/lib/vector.sail usr/share/sail/lib/vector_dec.sail usr/share/sail/lib/vector_inc.sail usr/share/sail/src usr/share/sail/src/gen_lib usr/share/sail/src/gen_lib/sail2_concurrency_interface.lem usr/share/sail/src/gen_lib/sail2_concurrency_interface_bitlists.lem usr/share/sail/src/gen_lib/sail2_concurrency_interface_mwords.lem usr/share/sail/src/gen_lib/sail2_deep_shallow_convert.lem usr/share/sail/src/gen_lib/sail2_instr_kinds.lem usr/share/sail/src/gen_lib/sail2_monadic_combinators.lem usr/share/sail/src/gen_lib/sail2_operators.lem usr/share/sail/src/gen_lib/sail2_operators_bitlists.lem usr/share/sail/src/gen_lib/sail2_operators_mwords.lem usr/share/sail/src/gen_lib/sail2_prompt.lem usr/share/sail/src/gen_lib/sail2_prompt_monad.lem usr/share/sail/src/gen_lib/sail2_state.lem usr/share/sail/src/gen_lib/sail2_state_lifting.lem usr/share/sail/src/gen_lib/sail2_state_monad.lem usr/share/sail/src/gen_lib/sail2_string.lem usr/share/sail/src/gen_lib/sail2_undefined.lem usr/share/sail/src/gen_lib/sail2_undefined_concurrency_interface.lem usr/share/sail/src/gen_lib/sail2_values.lem usr/share/sail/src/lib usr/share/sail/src/lib/elf_loader.ml usr/share/sail/src/lib/sail_lib.ml usr/share/sail/src/lib/util.ml usr/share/sail/src/sail_lean_backend usr/share/sail/src/sail_lean_backend/Sail usr/share/sail/src/sail_lean_backend/Sail/BitVec.lean usr/share/sail/src/sail_lean_backend/Sail/FakeReal.lean usr/share/sail/src/sail_lean_backend/Sail/IntRange.lean usr/share/sail/src/sail_lean_backend/Sail/Real.lean usr/share/sail/src/sail_lean_backend/Sail/Sail.lean usr/share/sail/src/sail_lean_backend/Sail/Specialization.lean usr/share/doc/sail-ocaml/changelog.Debian.gz