Fedora 42 testing updates for aarch64 : / usr /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

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jun 14 01:57:14 2025