Fedora 43 testing updates for aarch64 : / usr /share /doc /why3-examples /examples

• TODO
• WP_revisited
• add_list
• add_list.mlw
• add_list_vc_sp
• add_list_vc_sp.mlw
• algo63
• algo63.mlw
• algo64
• algo64.mlw
• algo65
• algo65.mlw
• all_distinct
• all_distinct.mlw
• amortization
• amortization.mlw
• anagrammi
• anagrammi.mlw
• arm
• arm.mlw
• array_most_frequent
• array_most_frequent.mlw
• array_of_list
• array_of_list.mlw
• assigning_meanings_to_programs
• assigning_meanings_to_programs.mlw
• avl
• bag
• bag.mlw
• balance
• balance.mlw
• bellman_ford
• bellman_ford.mlw
• bench.sh
• bignum
• bignum.mlw
• binary_multiplication
• binary_multiplication.mlw
• binary_search
• binary_search.mlw
• binary_search_vc_sp
• binary_search_vc_sp.mlw
• binary_sort
• binary_sort.mlw
• binary_sqrt
• binary_sqrt.mlw
• binomial
• binomial.mlw
• binomial_heap
• binomial_heap.mlw
• bitcount
• bitcount.mlw
• bitvector_examples
• bitvector_examples.mlw
• bitvectors
• bitwalker
• bitwalker.mlw
• braun_trees
• braun_trees.mlw
• bresenham
• bresenham.mlw
• bts
• bubble_sort
• bubble_sort.mlw
• c_cursor
• check-builtin
• checking_a_large_routine
• checking_a_large_routine.mlw
• coincidence_count
• coincidence_count.mlw
• coincidence_count_list
• coincidence_count_list.mlw
• coma
• conjugate
• conjugate.mlw
• counting_sort
• counting_sort.mlw
• cubic_root
• cubic_root.mlw
• cursor_examples
• cursor_examples.mlw
• decrease1
• decrease1.mlw
• defunctionalization
• defunctionalization.mlw
• dfa_example
• dfa_example.mlw
• dfs
• dfs.mlw
• dijkstra
• dijkstra.mlw
• disamb
• disamb.mlw
• division
• division.mlw
• doc_examples
• double_wp
• dyck
• dyck.mlw
• edit_distance
• edit_distance.mlw
• equality_up_to_spaces
• equality_up_to_spaces.mlw
• esterel
• esterel.mlw
• euler001
• euler001.mlw
• euler002
• euler002.mlw
• euler011
• euler011.mlw
• euler_sieve
• euler_sieve.mlw
• ewd673
• ewd673.mlw
• f_puzzle
• f_puzzle.mlw
• fact
• fact.mlw
• fact_vc_sp
• fact_vc_sp.mlw
• fenwick
• fenwick.mlw
• fib_memo
• fib_memo.mlw
• fibonacci
• fibonacci.mlw
• fill
• fill.mlw
• find
• find.mlw
• finger_trees
• finger_trees.mlw
• finite_tarski
• finite_tarski.mlw
• flag
• flag.mlw
• flag2
• flag2.mlw
• flexible_arrays
• flexible_arrays.mlw
• foveoos11-cm