[SECURITY] Fedora 45 Update: alt-ergo-2.4.3-5.fc45

Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CCX - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CCX is instantiated by the theory of linear arithmetics. Alt-Ergo also...