lem-devel-2025.03.13-2.fc41 in Fedora 41
↵ Return to the main page of lem-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2025-06-10 | U2FsdGVkX1 <U2FsdGVkX1 at gmail dot com> - 2025.03.13-2 | - Exclude i686 arch as it does not have OCaml |
| 2025-06-10 | U2FsdGVkX1 <U2FsdGVkX1 at gmail dot com> - 2025.03.13-1 | - Version 2025.03.13 |
Dependencies
- lem = 2025.03.13-2.fc41
- ocaml = 2ef2d91ced81f6c72f852bab8ab406e0
- ocaml-num = 05dfc47106cd6aca9cf13aaa96fdab94
- ocaml-num-devel = 05dfc47106cd6aca9cf13aaa96fdab94
- ocaml-runtime = 2ef2d91ced81f6c72f852bab8ab406e0
- ocaml-zarith = 312ffaa81870b7daca9308902c34a77d
- ocaml-zarith-devel = 312ffaa81870b7daca9308902c34a77d
Provides
- lem-devel
- lem-devel(x86-64)
- ocaml(Big_int_impl)
- ocaml(Bit)
- ocaml(Either)
- ocaml(Lem)
- ocaml(Lem_assert_extra)
- ocaml(Lem_basic_classes)
- ocaml(Lem_bool)
- ocaml(Lem_debug)
- ocaml(Lem_either)
- ocaml(Lem_function)
- ocaml(Lem_function_extra)
- ocaml(Lem_list)
- ocaml(Lem_list_extra)
- ocaml(Lem_machine_word)
- ocaml(Lem_map)
- ocaml(Lem_map_extra)
- ocaml(Lem_maybe)
- ocaml(Lem_maybe_extra)
- ocaml(Lem_num)
- ocaml(Lem_num_extra)
- ocaml(Lem_pervasives)
- ocaml(Lem_pervasives_extra)
- ocaml(Lem_relation)
- ocaml(Lem_set)
- ocaml(Lem_set_extra)
- ocaml(Lem_set_helpers)
- ocaml(Lem_show)
- ocaml(Lem_show_extra)
- ocaml(Lem_sorting)
- ocaml(Lem_string)
- ocaml(Lem_string_extra)
- ocaml(Lem_tuple)
- ocaml(Lem_word)
- ocaml(Nat_big_num)
- ocaml(Nat_num)
- ocaml(Pmap)
- ocaml(Pset)
- ocaml(Rational)
- ocaml(Rational_impl)
- ocaml(Vector)
- ocaml(Xstring)
- ocamlx(Big_int_impl)
- ocamlx(Bit)
- ocamlx(Either)
- ocamlx(Lem)
- ocamlx(Lem_assert_extra)
- ocamlx(Lem_basic_classes)
- ocamlx(Lem_bool)
- ocamlx(Lem_debug)
- ocamlx(Lem_either)
- ocamlx(Lem_function)
- ocamlx(Lem_function_extra)
- ocamlx(Lem_list)
- ocamlx(Lem_list_extra)
- ocamlx(Lem_machine_word)
- ocamlx(Lem_map)
- ocamlx(Lem_map_extra)
- ocamlx(Lem_maybe)
- ocamlx(Lem_maybe_extra)
- ocamlx(Lem_num)
- ocamlx(Lem_num_extra)
- ocamlx(Lem_pervasives)
- ocamlx(Lem_pervasives_extra)
- ocamlx(Lem_relation)
- ocamlx(Lem_set)
- ocamlx(Lem_set_extra)
- ocamlx(Lem_set_helpers)
- ocamlx(Lem_show)
- ocamlx(Lem_show_extra)
- ocamlx(Lem_sorting)
- ocamlx(Lem_string)
- ocamlx(Lem_string_extra)
- ocamlx(Lem_tuple)
- ocamlx(Lem_word)
- ocamlx(Nat_big_num)
- ocamlx(Nat_num)
- ocamlx(Pmap)
- ocamlx(Pset)
- ocamlx(Rational)
- ocamlx(Rational_impl)
- ocamlx(Vector)
- ocamlx(Xstring)
Files
- usr/
- lib64/
- ocaml/
- lem/
- META
- lem_num/
- META
- big_int_impl.cmi
- big_int_impl.cmx
- big_int_impl.mli
- bit.cmi
- bit.cmx
- bit.mli
- either.cmi
- either.cmx
- extract.a
- extract.cma
- extract.cmxa
- lem.cmi
- lem.cmx
- lem_assert_extra.cmi
- lem_assert_extra.cmx
- lem_basic_classes.cmi
- lem_basic_classes.cmx
- lem_bool.cmi
- lem_bool.cmx
- lem_debug.cmi
- lem_debug.cmx
- lem_either.cmi
- lem_either.cmx
- lem_function.cmi
- lem_function.cmx
- lem_function_extra.cmi
- lem_function_extra.cmx
- lem_list.cmi
- lem_list.cmx
- lem_list_extra.cmi
- lem_list_extra.cmx
- lem_machine_word.cmi
- lem_machine_word.cmx
- lem_map.cmi
- lem_map.cmx
- lem_map_extra.cmi
- lem_map_extra.cmx
- lem_maybe.cmi
- lem_maybe.cmx
- lem_maybe_extra.cmi
- lem_maybe_extra.cmx
- lem_num.cmi
- lem_num.cmx
- lem_num_extra.cmi
- lem_num_extra.cmx
- lem_pervasives.cmi
- lem_pervasives.cmx
- lem_pervasives_extra.cmi
- lem_pervasives_extra.cmx
- lem_relation.cmi
- lem_relation.cmx
- lem_set.cmi
- lem_set.cmx
- lem_set_extra.cmi
- lem_set_extra.cmx
- lem_set_helpers.cmi
- lem_set_helpers.cmx
- lem_show.cmi
- lem_show.cmx
- lem_show_extra.cmi
- lem_show_extra.cmx
- lem_sorting.cmi
- lem_sorting.cmx
- lem_string.cmi
- lem_string.cmx
- lem_string_extra.cmi
- lem_string_extra.cmx
- lem_tuple.cmi
- lem_tuple.cmx
- lem_word.cmi
- lem_word.cmx
- nat_big_num.cmi
- nat_big_num.cmx
- nat_big_num.mli
- nat_num.cmi
- nat_num.cmx
- nat_num.mli
- pmap.cmi
- pmap.cmx
- pmap.mli
- pset.cmi
- pset.cmx
- pset.mli
- rational.cmi
- rational.cmx
- rational.mli
- rational_impl.cmi
- rational_impl.cmx
- rational_impl.mli
- vector.cmi
- vector.cmx
- vector.mli
- xstring.cmi
- xstring.cmx
- xstring.mli
- lem_zarith/
- META
- big_int_impl.cmi
- big_int_impl.cmx
- big_int_impl.mli
- bit.cmi
- bit.cmx
- bit.mli
- either.cmi
- either.cmx
- extract.a
- extract.cma
- extract.cmxa
- lem.cmi
- lem.cmx
- lem_assert_extra.cmi
- lem_assert_extra.cmx
- lem_basic_classes.cmi
- lem_basic_classes.cmx
- lem_bool.cmi
- lem_bool.cmx
- lem_debug.cmi
- lem_debug.cmx
- lem_either.cmi
- lem_either.cmx
- lem_function.cmi
- lem_function.cmx
- lem_function_extra.cmi
- lem_function_extra.cmx
- lem_list.cmi
- lem_list.cmx
- lem_list_extra.cmi
- lem_list_extra.cmx
- lem_machine_word.cmi
- lem_machine_word.cmx
- lem_map.cmi
- lem_map.cmx
- lem_map_extra.cmi
- lem_map_extra.cmx
- lem_maybe.cmi
- lem_maybe.cmx
- lem_maybe_extra.cmi
- lem_maybe_extra.cmx
- lem_num.cmi
- lem_num.cmx
- lem_num_extra.cmi
- lem_num_extra.cmx
- lem_pervasives.cmi
- lem_pervasives.cmx
- lem_pervasives_extra.cmi
- lem_pervasives_extra.cmx
- lem_relation.cmi
- lem_relation.cmx
- lem_set.cmi
- lem_set.cmx
- lem_set_extra.cmi
- lem_set_extra.cmx
- lem_set_helpers.cmi
- lem_set_helpers.cmx
- lem_show.cmi
- lem_show.cmx
- lem_show_extra.cmi
- lem_show_extra.cmx
- lem_sorting.cmi
- lem_sorting.cmx
- lem_string.cmi
- lem_string.cmx
- lem_string_extra.cmi
- lem_string_extra.cmx
- lem_tuple.cmi
- lem_tuple.cmx
- lem_word.cmi
- lem_word.cmx
- nat_big_num.cmi
- nat_big_num.cmx
- nat_big_num.mli
- nat_num.cmi
- nat_num.cmx
- nat_num.mli
- pmap.cmi
- pmap.cmx
- pmap.mli
- pset.cmi
- pset.cmx
- pset.mli
- rational.cmi
- rational.cmx
- rational.mli
- rational_impl.cmi
- rational_impl.cmx
- rational_impl.mli
- vector.cmi
- vector.cmx
- vector.mli
- xstring.cmi
- xstring.cmx
- xstring.mli
- lem/
- ocaml/
- share/
- lem/
- coq-lib/
- coq_makefile.in
- coqharness.v
- lem_assert_extra.v
- lem_assert_extra_auxiliary.v
- lem_basic_classes.v
- lem_basic_classes_auxiliary.v
- lem_bool.v
- lem_bool_auxiliary.v
- lem_debug.v
- lem_debug_auxiliary.v
- lem_either.v
- lem_either_auxiliary.v
- lem_function.v
- lem_function_auxiliary.v
- lem_function_extra.v
- lem_function_extra_auxiliary.v
- lem_list.v
- lem_list_auxiliary.v
- lem_list_extra.v
- lem_list_extra_auxiliary.v
- lem_machine_word.v
- lem_machine_word_auxiliary.v
- lem_map.v
- lem_map_auxiliary.v
- lem_map_extra.v
- lem_map_extra_auxiliary.v
- lem_maybe.v
- lem_maybe_auxiliary.v
- lem_maybe_extra.v
- lem_maybe_extra_auxiliary.v
- lem_num.v
- lem_num_auxiliary.v
- lem_num_extra.v
- lem_num_extra_auxiliary.v
- lem_pervasives.v
- lem_pervasives_auxiliary.v
- lem_pervasives_extra.v
- lem_pervasives_extra_auxiliary.v
- lem_relation.v
- lem_relation_auxiliary.v
- lem_set.v
- lem_set_auxiliary.v
- lem_set_extra.v
- lem_set_extra_auxiliary.v
- lem_set_helpers.v
- lem_set_helpers_auxiliary.v
- lem_show.v
- lem_show_auxiliary.v
- lem_show_extra.v
- lem_show_extra_auxiliary.v
- lem_sorting.v
- lem_sorting_auxiliary.v
- lem_string.v
- lem_string_auxiliary.v
- lem_string_extra.v
- lem_string_extra_auxiliary.v
- lem_tuple.v
- lem_tuple_auxiliary.v
- lem_word.v
- lem_word_auxiliary.v
- hol-lib/
- Holmakefile
- lemLib.sml
- lemScript.sml
- lem_assert_extraScript.sml
- lem_basic_classesScript.sml
- lem_boolScript.sml
- lem_debugScript.sml
- lem_eitherScript.sml
- lem_functionScript.sml
- lem_function_extraScript.sml
- lem_listScript.sml
- lem_list_extraScript.sml
- lem_machine_wordScript.sml
- lem_mapScript.sml
- lem_map_extraScript.sml
- lem_maybeScript.sml
- lem_maybe_extraScript.sml
- lem_numScript.sml
- lem_num_extraScript.sml
- lem_pervasivesScript.sml
- lem_pervasives_extraScript.sml
- lem_relationScript.sml
- lem_setScript.sml
- lem_set_extraScript.sml
- lem_set_helpersScript.sml
- lem_showScript.sml
- lem_show_extraScript.sml
- lem_sortingScript.sml
- lem_stringScript.sml
- lem_string_extraScript.sml
- lem_tupleScript.sml
- lem_wordScript.sml
- isabelle-lib/
- Lem.thy
- LemExtraDefs.thy
- Lem_assert_extra.thy
- Lem_basic_classes.thy
- Lem_bool.thy
- Lem_debug.thy
- Lem_either.thy
- Lem_function.thy
- Lem_function_extra.thy
- Lem_list.thy
- Lem_list_extra.thy
- Lem_machine_word.thy
- Lem_map.thy
- Lem_map_extra.thy
- Lem_maybe.thy
- Lem_maybe_extra.thy
- Lem_num.thy
- Lem_num_extra.thy
- Lem_pervasives.thy
- Lem_pervasives_extra.thy
- Lem_relation.thy
- Lem_set.thy
- Lem_set_extra.thy
- Lem_set_helpers.thy
- Lem_show.thy
- Lem_show_extra.thy
- Lem_sorting.thy
- Lem_string.thy
- Lem_string_extra.thy
- Lem_tuple.thy
- Lem_word.thy
- ROOT
- library/
- assert_extra.lem
- basic_classes.lem
- bool.lem
- coq_constants
- debug.lem
- either.lem
- function.lem
- function_extra.lem
- hol_constants
- isabelle_constants
- list.lem
- list_extra.lem
- machine_word.lem
- map.lem
- map_extra.lem
- maybe.lem
- maybe_extra.lem
- num.lem
- num_extra.lem
- ocaml_constants
- pervasives.lem
- pervasives_extra.lem
- relation.lem
- set.lem
- set_extra.lem
- set_helpers.lem
- show.lem
- show_extra.lem
- sorting.lem
- string.lem
- string_extra.lem
- transform.lem
- tuple.lem
- word.lem
- coq-lib/
- lem/
- lib64/
Sources on Pagure