(lang dune 3.21)
(name sail)
(version 0.19.1)
(sections
 (lib /usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/sail)
 (bin /usr/bin)
 (share /usr/share/sail)
 (doc /usr/doc/sail))
(files
 (lib (META dune-package opam))
 (bin (sail))
 (share
  (LICENSE
   THIRD_PARTY_FILES.md
   lib/_tags
   lib/_tags_coverage
   lib/arith.sail
   lib/cJSON.c
   lib/cJSON.h
   lib/concurrency_interface.sail
   lib/concurrency_interface/barrier.sail
   lib/concurrency_interface/cache_op.sail
   lib/concurrency_interface/common.sail
   lib/concurrency_interface/emulator_memory.sail
   lib/concurrency_interface/exception.sail
   lib/concurrency_interface/read_write.sail
   lib/concurrency_interface/read_write_v1.sail
   lib/concurrency_interface/read_write_v2.sail
   lib/concurrency_interface/sysreg.sail
   lib/concurrency_interface/tlbi.sail
   lib/concurrency_interface/translation.sail
   lib/coverage/Cargo.toml
   lib/coverage/Makefile
   lib/coverage/src/lib.rs
   lib/dec_bits.sail
   lib/elf.c
   lib/elf.h
   lib/elf.sail
   lib/exception.sail
   lib/exception_basic.sail
   lib/exception_result.sail
   lib/float.sail
   lib/float/add.sail
   lib/float/arith_internal.sail
   lib/float/common.sail
   lib/float/eq.sail
   lib/float/ge.sail
   lib/float/ge_quiet.sail
   lib/float/gt.sail
   lib/float/gt_quiet.sail
   lib/float/inf.sail
   lib/float/interface.sail
   lib/float/le.sail
   lib/float/le_quiet.sail
   lib/float/lt.sail
   lib/float/lt_quiet.sail
   lib/float/nan.sail
   lib/float/ne.sail
   lib/float/normal.sail
   lib/float/rounding.sail
   lib/float/sign.sail
   lib/float/zero.sail
   lib/flow.sail
   lib/generic_equality.sail
   lib/hex_bits.sail
   lib/hex_bits_signed.sail
   lib/hol/.gitignore
   lib/hol/Holmakefile
   lib/hol/Makefile
   lib/hol/sail2_prompt.lem
   lib/hol/sail2_prompt_monad.lem
   lib/hol/sail2_stateAuxiliaryScript.sml
   lib/hol/sail2_undefined.lem
   lib/hol/sail2_valuesAuxiliaryScript.sml
   lib/instr_kinds.sail
   lib/int128/rts.c
   lib/int128/rts.h
   lib/int128/sail.c
   lib/int128/sail.h
   lib/isabelle/.gitignore
   lib/isabelle/Add_Cancel_Distinct.thy
   lib/isabelle/Hoare.thy
   lib/isabelle/Makefile
   lib/isabelle/ROOT
   lib/isabelle/Sail2_concurrency_interface_lemmas.thy
   lib/isabelle/Sail2_monadic_combinators_lemmas.thy
   lib/isabelle/Sail2_operators_mwords_lemmas.thy
   lib/isabelle/Sail2_prompt_monad_lemmas.thy
   lib/isabelle/Sail2_state_lemmas.thy
   lib/isabelle/Sail2_state_monad_lemmas.thy
   lib/isabelle/Sail2_values_lemmas.thy
   lib/isabelle/Trace_Properties.thy
   lib/isabelle/document/root.tex
   lib/isabelle/manual/Manual.thy
   lib/isabelle/manual/ROOT
   lib/isabelle/manual/document/root.tex
   lib/isla.sail
   lib/main.ml
   lib/mapping.sail
   lib/mono_rewrites.sail
   lib/myocamlbuild_coverage.ml
   lib/nostd/sail.c
   lib/nostd/sail.h
   lib/nostd/sail_alloc.h
   lib/nostd/sail_arena.c
   lib/nostd/sail_arena.h
   lib/nostd/sail_failure.h
   lib/nostd/sail_spinlock.h
   lib/nostd/stubs/sail_failure.c
   lib/nostd/test/test.c
   lib/option.sail
   lib/prelude.sail
   lib/real.sail
   lib/regfp.sail
   lib/result.sail
   lib/reverse_endianness.sail
   lib/rts.c
   lib/rts.h
   lib/sail.c
   lib/sail.h
   lib/sail.tex
   lib/sail_config.c
   lib/sail_config.h
   lib/sail_coverage.h
   lib/sail_failure.c
   lib/sail_failure.h
   lib/smt.sail
   lib/string.sail
   lib/sv/sail_memory.sv
   lib/sv/sail_modules.sv
   lib/trace.sail
   lib/vector.sail
   lib/vector_dec.sail
   lib/vector_inc.sail
   src/gen_lib/sail2_concurrency_interface.lem
   src/gen_lib/sail2_concurrency_interface_bitlists.lem
   src/gen_lib/sail2_concurrency_interface_mwords.lem
   src/gen_lib/sail2_deep_shallow_convert.lem
   src/gen_lib/sail2_instr_kinds.lem
   src/gen_lib/sail2_monadic_combinators.lem
   src/gen_lib/sail2_operators.lem
   src/gen_lib/sail2_operators_bitlists.lem
   src/gen_lib/sail2_operators_mwords.lem
   src/gen_lib/sail2_prompt.lem
   src/gen_lib/sail2_prompt_monad.lem
   src/gen_lib/sail2_state.lem
   src/gen_lib/sail2_state_lifting.lem
   src/gen_lib/sail2_state_monad.lem
   src/gen_lib/sail2_string.lem
   src/gen_lib/sail2_undefined.lem
   src/gen_lib/sail2_undefined_concurrency_interface.lem
   src/gen_lib/sail2_values.lem
   src/lib/elf_loader.ml
   src/lib/sail_lib.ml
   src/lib/util.ml
   src/sail_lean_backend/Sail/BitVec.lean
   src/sail_lean_backend/Sail/FakeReal.lean
   src/sail_lean_backend/Sail/IntRange.lean
   src/sail_lean_backend/Sail/Real.lean
   src/sail_lean_backend/Sail/Sail.lean
   src/sail_lean_backend/Sail/Specialization.lean))
 (doc (CHANGELOG.md LICENSE README.md)))
