liblem-ocaml-dev (2025-03-13+dfsg-1build4)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- lem
- Architecture
- amd64
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 6.1 kB
- Size expected
- 537.7 kB
- Size actual
- 537.7 kB
- Size match
Dependencies
Required package dependencies
Description
Tool merging math and logic for executable definitions (development)
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 790a8580…47c06ebe | |
| SHA-1 | 2b5859e5…7554b58e | |
| SHA-256 | b10edd64…d21f2c44 | |
| SHA-512 | bc4c3cf3…aee82aa1 |
Contents
Files and directories included
. usr 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/lem usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem/META usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/META usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/big_int_impl.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/big_int_impl.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/big_int_impl.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/bit.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/bit.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/bit.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/bit.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/either.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/either.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/either.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/extract.a usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/extract.cma usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/extract.cmxa usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_assert_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_assert_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_assert_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_basic_classes.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_basic_classes.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_basic_classes.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_bool.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_bool.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_bool.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_debug.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_debug.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_debug.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_either.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_either.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_either.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_function.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_function.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_function.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_function_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_function_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_function_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_list.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_list.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_list.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_list_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_list_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_list_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_machine_word.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_machine_word.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_machine_word.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_map.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_map.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_map.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_map_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_map_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_map_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_maybe.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_maybe.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_maybe.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_maybe_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_maybe_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_maybe_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_num.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_num.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_num.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_num_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_num_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_num_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_pervasives.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_pervasives.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_pervasives.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_pervasives_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_pervasives_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_pervasives_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_relation.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_relation.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_relation.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_set.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_set.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_set.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_set_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_set_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_set_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_set_helpers.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_set_helpers.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_set_helpers.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_show.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_show.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_show.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_show_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_show_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_show_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_sorting.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_sorting.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_sorting.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_string.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_string.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_string.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_string_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_string_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_string_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_tuple.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_tuple.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_tuple.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_word.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_word.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/lem_word.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/nat_big_num.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/nat_big_num.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/nat_big_num.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/nat_big_num.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/nat_num.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/nat_num.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/nat_num.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/nat_num.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/pmap.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/pmap.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/pmap.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/pmap.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/pset.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/pset.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/pset.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/pset.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/rational.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/rational.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/rational.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/rational.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/rational_impl.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/rational_impl.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/rational_impl.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/vector.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/vector.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/vector.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/vector.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/xstring.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/xstring.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/xstring.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_num/xstring.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/META usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/big_int_impl.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/big_int_impl.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/big_int_impl.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/bit.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/bit.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/bit.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/bit.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/either.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/either.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/either.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/extract.a usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/extract.cma usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/extract.cmxa usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_assert_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_assert_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_assert_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_basic_classes.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_basic_classes.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_basic_classes.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_bool.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_bool.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_bool.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_debug.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_debug.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_debug.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_either.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_either.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_either.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_function.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_function.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_function.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_function_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_function_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_function_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_list.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_list.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_list.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_list_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_list_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_list_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_machine_word.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_machine_word.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_machine_word.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_map.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_map.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_map.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_map_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_map_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_map_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_maybe.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_maybe.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_maybe.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_maybe_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_maybe_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_maybe_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_num.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_num.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_num.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_num_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_num_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_num_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_pervasives.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_pervasives.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_pervasives.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_pervasives_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_pervasives_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_pervasives_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_relation.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_relation.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_relation.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_set.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_set.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_set.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_set_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_set_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_set_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_set_helpers.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_set_helpers.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_set_helpers.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_show.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_show.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_show.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_show_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_show_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_show_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_sorting.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_sorting.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_sorting.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_string.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_string.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_string.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_string_extra.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_string_extra.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_string_extra.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_tuple.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_tuple.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_tuple.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_word.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_word.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/lem_word.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/nat_big_num.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/nat_big_num.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/nat_big_num.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/nat_big_num.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/nat_num.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/nat_num.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/nat_num.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/nat_num.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/pmap.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/pmap.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/pmap.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/pmap.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/pset.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/pset.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/pset.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/pset.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/rational.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/rational.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/rational.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/rational.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/rational_impl.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/rational_impl.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/rational_impl.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/vector.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/vector.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/vector.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/vector.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/xstring.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/xstring.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/xstring.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/lem_zarith/xstring.mli usr/share usr/share/doc usr/share/doc/liblem-ocaml-dev usr/share/doc/liblem-ocaml-dev/changelog.Debian.gz usr/share/doc/liblem-ocaml-dev/copyright usr/share/doc/liblem-ocaml-dev/examples usr/share/doc/liblem-ocaml-dev/examples/0README usr/share/doc/liblem-ocaml-dev/examples/cpp usr/share/doc/liblem-ocaml-dev/examples/cpp/0README usr/share/doc/liblem-ocaml-dev/examples/cpp/cmm.lem usr/share/doc/liblem-ocaml-dev/examples/ocaml_light usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/0README usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/Makefile usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef.lem usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef_reduction.ott usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef_syntax.ott usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef_typing.ott usr/share/lem usr/share/lem/coq-lib usr/share/lem/coq-lib/coq_makefile.in usr/share/lem/coq-lib/coqharness.v usr/share/lem/coq-lib/lem_assert_extra.v usr/share/lem/coq-lib/lem_assert_extra_auxiliary.v usr/share/lem/coq-lib/lem_basic_classes.v usr/share/lem/coq-lib/lem_basic_classes_auxiliary.v usr/share/lem/coq-lib/lem_bool.v usr/share/lem/coq-lib/lem_bool_auxiliary.v usr/share/lem/coq-lib/lem_debug.v usr/share/lem/coq-lib/lem_debug_auxiliary.v usr/share/lem/coq-lib/lem_either.v usr/share/lem/coq-lib/lem_either_auxiliary.v usr/share/lem/coq-lib/lem_function.v usr/share/lem/coq-lib/lem_function_auxiliary.v usr/share/lem/coq-lib/lem_function_extra.v usr/share/lem/coq-lib/lem_function_extra_auxiliary.v usr/share/lem/coq-lib/lem_list.v usr/share/lem/coq-lib/lem_list_auxiliary.v usr/share/lem/coq-lib/lem_list_extra.v usr/share/lem/coq-lib/lem_list_extra_auxiliary.v usr/share/lem/coq-lib/lem_machine_word.v usr/share/lem/coq-lib/lem_machine_word_auxiliary.v usr/share/lem/coq-lib/lem_map.v usr/share/lem/coq-lib/lem_map_auxiliary.v usr/share/lem/coq-lib/lem_map_extra.v usr/share/lem/coq-lib/lem_map_extra_auxiliary.v usr/share/lem/coq-lib/lem_maybe.v usr/share/lem/coq-lib/lem_maybe_auxiliary.v usr/share/lem/coq-lib/lem_maybe_extra.v usr/share/lem/coq-lib/lem_maybe_extra_auxiliary.v usr/share/lem/coq-lib/lem_num.v usr/share/lem/coq-lib/lem_num_auxiliary.v usr/share/lem/coq-lib/lem_num_extra.v usr/share/lem/coq-lib/lem_num_extra_auxiliary.v usr/share/lem/coq-lib/lem_pervasives.v usr/share/lem/coq-lib/lem_pervasives_auxiliary.v usr/share/lem/coq-lib/lem_pervasives_extra.v usr/share/lem/coq-lib/lem_pervasives_extra_auxiliary.v usr/share/lem/coq-lib/lem_relation.v usr/share/lem/coq-lib/lem_relation_auxiliary.v usr/share/lem/coq-lib/lem_set.v usr/share/lem/coq-lib/lem_set_auxiliary.v usr/share/lem/coq-lib/lem_set_extra.v usr/share/lem/coq-lib/lem_set_extra_auxiliary.v usr/share/lem/coq-lib/lem_set_helpers.v usr/share/lem/coq-lib/lem_set_helpers_auxiliary.v usr/share/lem/coq-lib/lem_show.v usr/share/lem/coq-lib/lem_show_auxiliary.v usr/share/lem/coq-lib/lem_show_extra.v usr/share/lem/coq-lib/lem_show_extra_auxiliary.v usr/share/lem/coq-lib/lem_sorting.v usr/share/lem/coq-lib/lem_sorting_auxiliary.v usr/share/lem/coq-lib/lem_string.v usr/share/lem/coq-lib/lem_string_auxiliary.v usr/share/lem/coq-lib/lem_string_extra.v usr/share/lem/coq-lib/lem_string_extra_auxiliary.v usr/share/lem/coq-lib/lem_tuple.v usr/share/lem/coq-lib/lem_tuple_auxiliary.v usr/share/lem/coq-lib/lem_word.v usr/share/lem/coq-lib/lem_word_auxiliary.v usr/share/lem/hol-lib usr/share/lem/hol-lib/Holmakefile usr/share/lem/hol-lib/lemLib.sml usr/share/lem/hol-lib/lemScript.sml usr/share/lem/hol-lib/lem_assert_extraScript.sml usr/share/lem/hol-lib/lem_basic_classesScript.sml usr/share/lem/hol-lib/lem_boolScript.sml usr/share/lem/hol-lib/lem_debugScript.sml usr/share/lem/hol-lib/lem_eitherScript.sml usr/share/lem/hol-lib/lem_functionScript.sml usr/share/lem/hol-lib/lem_function_extraScript.sml usr/share/lem/hol-lib/lem_listScript.sml usr/share/lem/hol-lib/lem_list_extraScript.sml usr/share/lem/hol-lib/lem_machine_wordScript.sml usr/share/lem/hol-lib/lem_mapScript.sml usr/share/lem/hol-lib/lem_map_extraScript.sml usr/share/lem/hol-lib/lem_maybeScript.sml usr/share/lem/hol-lib/lem_maybe_extraScript.sml usr/share/lem/hol-lib/lem_numScript.sml usr/share/lem/hol-lib/lem_num_extraScript.sml usr/share/lem/hol-lib/lem_pervasivesScript.sml usr/share/lem/hol-lib/lem_pervasives_extraScript.sml usr/share/lem/hol-lib/lem_relationScript.sml usr/share/lem/hol-lib/lem_setScript.sml usr/share/lem/hol-lib/lem_set_extraScript.sml usr/share/lem/hol-lib/lem_set_helpersScript.sml usr/share/lem/hol-lib/lem_showScript.sml usr/share/lem/hol-lib/lem_show_extraScript.sml usr/share/lem/hol-lib/lem_sortingScript.sml usr/share/lem/hol-lib/lem_stringScript.sml usr/share/lem/hol-lib/lem_string_extraScript.sml usr/share/lem/hol-lib/lem_tupleScript.sml usr/share/lem/hol-lib/lem_wordScript.sml usr/share/lem/isabelle-lib usr/share/lem/isabelle-lib/Lem.thy usr/share/lem/isabelle-lib/LemExtraDefs.thy usr/share/lem/isabelle-lib/Lem_assert_extra.thy usr/share/lem/isabelle-lib/Lem_basic_classes.thy usr/share/lem/isabelle-lib/Lem_bool.thy usr/share/lem/isabelle-lib/Lem_debug.thy usr/share/lem/isabelle-lib/Lem_either.thy usr/share/lem/isabelle-lib/Lem_function.thy usr/share/lem/isabelle-lib/Lem_function_extra.thy usr/share/lem/isabelle-lib/Lem_list.thy usr/share/lem/isabelle-lib/Lem_list_extra.thy usr/share/lem/isabelle-lib/Lem_machine_word.thy usr/share/lem/isabelle-lib/Lem_map.thy usr/share/lem/isabelle-lib/Lem_map_extra.thy usr/share/lem/isabelle-lib/Lem_maybe.thy usr/share/lem/isabelle-lib/Lem_maybe_extra.thy usr/share/lem/isabelle-lib/Lem_num.thy usr/share/lem/isabelle-lib/Lem_num_extra.thy usr/share/lem/isabelle-lib/Lem_pervasives.thy usr/share/lem/isabelle-lib/Lem_pervasives_extra.thy usr/share/lem/isabelle-lib/Lem_relation.thy usr/share/lem/isabelle-lib/Lem_set.thy usr/share/lem/isabelle-lib/Lem_set_extra.thy usr/share/lem/isabelle-lib/Lem_set_helpers.thy usr/share/lem/isabelle-lib/Lem_show.thy usr/share/lem/isabelle-lib/Lem_show_extra.thy usr/share/lem/isabelle-lib/Lem_sorting.thy usr/share/lem/isabelle-lib/Lem_string.thy usr/share/lem/isabelle-lib/Lem_string_extra.thy usr/share/lem/isabelle-lib/Lem_tuple.thy usr/share/lem/isabelle-lib/Lem_word.thy usr/share/lem/isabelle-lib/ROOT usr/share/lem/library usr/share/lem/library/assert_extra.lem usr/share/lem/library/basic_classes.lem usr/share/lem/library/bool.lem usr/share/lem/library/coq_constants usr/share/lem/library/debug.lem usr/share/lem/library/either.lem usr/share/lem/library/function.lem usr/share/lem/library/function_extra.lem usr/share/lem/library/hol_constants usr/share/lem/library/isabelle_constants usr/share/lem/library/list.lem usr/share/lem/library/list_extra.lem usr/share/lem/library/machine_word.lem usr/share/lem/library/map.lem usr/share/lem/library/map_extra.lem usr/share/lem/library/maybe.lem usr/share/lem/library/maybe_extra.lem usr/share/lem/library/num.lem usr/share/lem/library/num_extra.lem usr/share/lem/library/ocaml_constants usr/share/lem/library/pervasives.lem usr/share/lem/library/pervasives_extra.lem usr/share/lem/library/relation.lem usr/share/lem/library/set.lem usr/share/lem/library/set_extra.lem usr/share/lem/library/set_helpers.lem usr/share/lem/library/show.lem usr/share/lem/library/show_extra.lem usr/share/lem/library/sorting.lem usr/share/lem/library/string.lem usr/share/lem/library/string_extra.lem usr/share/lem/library/transform.lem usr/share/lem/library/tuple.lem usr/share/lem/library/word.lem var var/lib var/lib/ocaml var/lib/ocaml/lintian var/lib/ocaml/lintian/liblem-ocaml-dev.info var/lib/ocaml/md5sums var/lib/ocaml/md5sums/liblem-ocaml-dev.md5sums