Fedora 40 testing updates for aarch64 : / usr /src /debug /apron-0.9.14-7.fc40.aarch64 /newpolka

• pk.h
• pk_approximate.c
• pk_assign.c
• pk_assign.h
• pk_bit.c
• pk_bit.h
• pk_cherni.c
• pk_cherni.h
• pk_closure.c
• pk_config.h
• pk_constructor.c
• pk_constructor.h
• pk_expandfold.c
• pk_extract.c
• pk_extract.h
• pk_internal.c
• pk_internal.h
• pk_matrix.c
• pk_matrix.h
• pk_meetjoin.c
• pk_meetjoin.h
• pk_project.c
• pk_representation.c
• pk_representation.h
• pk_resize.c
• pk_resize.h
• pk_satmat.c
• pk_satmat.h
• pk_test.c
• pk_test.h
• pk_user.c
• pk_user.h
• pk_vector.c
• pk_vector.h
• pk_widening.c
• pkeq.c
• pkeq.h
• polka.ml
• polka_caml.c

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Mar 27 00:21:20 2025