flocq-4.2.2-3.fc44 gappalib-coq-1.11.0-1.fc44 rocq-9.3.0-1.fc44 rocq-stdlib-9.2.0-1.fc44 why3-1.8.2-11.fc44 zenon-0.8.5-41.fc44
- flocq-4.2.2-3.fc44
- gappalib-coq-1.11.0-1.fc44
- rocq-9.3.0-1.fc44
- rocq-stdlib-9.2.0-1.fc44
- why3-1.8.2-11.fc44
- zenon-0.8.5-41.fc44
See https://rocq-prover.org/doc/v9.3/refman/changes.html#version-9-3 for changes in rocq 9.3.0.
See https://rocq-prover.org/doc/v9.2/refman-stdlib/changes.html for changes in rocq-stdlib 9.2.0.
See https://gitlab.inria.fr/gappa/coq/-/blob/master/NEWS.md for changes in gappalib-coq 1.11.0.
The other builds are rebuilds due to the above changes.