Fedora 44 testing updates for ppc64le : / usr /lib64 /ocaml

• Z3
• camlpdf
• coq
• coq-core
• coq-gappa
• coqide-server
• dune
• dune-build-info
• dune-configurator
• dune-private-libs
• dune-site
• dyn
• frama-c
• frama-c-acsl-importer
• frama-c-alias
• frama-c-aorai
• frama-c-api_generator
• frama-c-callgraph
• frama-c-constant_propagation
• frama-c-dive
• frama-c-e-acsl
• frama-c-eva
• frama-c-from
• frama-c-impact
• frama-c-inout
• frama-c-instantiate
• frama-c-loop-analysis
• frama-c-markdown-report
• frama-c-metrics
• frama-c-nonterm
• frama-c-obfuscator
• frama-c-occurrence
• frama-c-pdg
• frama-c-ptests
• frama-c-reduc
• frama-c-region
• frama-c-report
• frama-c-rtegen
• frama-c-scope
• frama-c-security_slicing
• frama-c-server
• frama-c-slicing
• frama-c-sparecode
• frama-c-studia
• frama-c-users
• frama-c-volatile
• frama-c-wp
• fs-io
• guestfs
• mdx
• nbd
• ocaml-version
• ordering
• qed
• rocq-core
• rocq-runtime
• rocq-stdlib
• rocqide
• stdune
• store
• stublibs
• top-closure
• unionFind
• utop
• why3
• xdg

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 2 02:39:47 2026